Search results for: June Andronick
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 500-515
Lecture Notes in Computer Science > FM 2005: Formal Methods > Security > 302-317
Information and Software Technology > 2015 > 60 > Complete > 102-112