Search results for: Christine Paulin-Mohring
Lecture Notes in Computer Science > Theoretical Aspects of Computer Software > Invited Talk 4 > 298-315
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 49-68
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 179-194
Lecture Notes in Computer Science > FM 2005: Formal Methods > Security > 302-317
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Science of Computer Programming > 2009 > 74 > 8 > 568-589