Colombo, Christian

1. A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software)
   2018/11/16 by César Sánchez, Gerardo Schneider, Sánchez, César +29 · 5 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques