Patrick Godefroid profile picture

Patrick Godefroid

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science)
Model Checking Software
Sicherheit beim Surfen und Kommunizieren im Internet Was Sie beachten sollten
Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Sicherheit beim Surfen und Kommunizieren im Internet was Sie beachten sollten