Search results for: Valentin Haenel
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > EPEW > 262-277
Lecture Notes in Computer Science > Formal Techniques for Computer Systems and Business Processes > WS-FM > 200-214
Lecture Notes in Computer Science > FM 2005: Formal Methods > Security > 286-301