Search results for: Pietro Ferrara
Lecture Notes in Computer Science > Tests and Proofs > Research Papers > 116-133
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Program Logics and Analysis > 186-200
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification, Analysis and Testing > 505-521