vix.ing · top · new · best · stats · spec

Dino Distefano

  1. Runtime Verification Based on Register Automata
    2012/09/24 by Radu Grigore, Dino Distefano, Grigore, Radu +5 · 3 citations
    Computer Science · #D.2.5 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #Software Engineering (cs.SE)