Search results for: Roozbeh Farahbod
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Development > 211-226
Lecture Notes in Computer Science > Business Process Management Workshops > Workshop on Web Service Choreography and Orchestration for Business Process Management > 144-157
Lecture Notes in Computer Science > Rigorous Methods for Software Construction and Analysis > 170-186
Lecture Notes in Computer Science > Abstract State Machines 2004. Advances in Theory and Practice > Research Papers > 78-94
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 5. ABZ Short Papers > 343-343
Lecture Notes in Computer Science > Rigorous Methods for Software Construction and Analysis > 147-169
Science of Computer Programming > 2014 > 79 > Complete > 23-38
Security Informatics > 2012 > 1 > 1 > 1-21
Software: Practice and Experience > 41 > 2 > 167 - 178