| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 135, No. 1. (5 July 2005), pp. 39-58.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
Information Systems Security In Information Systems Security, Vol. 5352 (2008), pp. 26-40.
|
| |
|
| |
Computer Aided Verification In Computer Aided Verification, Vol. 5643 (2009), pp. 173-187.
|
| |
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4260 (2006), pp. 697-716.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 133-154.
|
| |
Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64.
|
| |
Communications of the ACM, Vol. 52, No. 4. (2009), pp. 78-88.
|
| |
25 Years of Model Checking In 25 Years of Model Checking, Vol. 5000 (2008), pp. 1-26.
|
| |
25 Years of Model Checking In 25 Years of Model Checking, Vol. 5000 (2008), pp. 27-45.
|
| |
|
| |
Modeling and Verification of Parallel Processes In Modeling and Verification of Parallel Processes, Vol. 2067 (2001), pp. 39-57.
|
| |
ZUM '95: The Z Formal Specification Notation In ZUM '95: The Z Formal Specification Notation, Vol. 967 (1995), pp. 105-113.
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 4591 (2007), pp. 480-500.
|
| |
Formal Methods: Applications and Technology In Formal Methods: Applications and Technology, Vol. 4346 (2007), pp. 211-226.
|
| |
In Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008 (2008), pp. 673-678.
|
| |
Computer Security – ESORICS 2003, Vol. 2808 (2003), pp. 253-270.
|
| |
2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) In 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07) (2007), pp. 153-160.
|
| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 5256 (2008), pp. 278-297.
|
| |
In ACSC '07: Proceedings of the thirtieth Australasian conference on Computer science (2007), pp. 171-180.
|
| |
Static Analysis In Static Analysis, Vol. 1694 (1999), pp. 330-354.
|
| |
|
| |
|
| |
In 26th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL '99) (1999), pp. 228-241.
|
| |
In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 192-202.
|
| |
In Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), Vol. 168 (February 2007), pp. 61-75.
|
Search
Export
