| |
Logics of Specification Languages (2008), pp. 47-152.
|
| |
|
| |
In FM-Trends 98: Proceedings of the International Workshop on Current Trends in Applied Formal Method (1999), pp. 1-43.
|
| |
|
| |
|
| |
In FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I (1999), pp. 369-387.
|
| |
Computer, Vol. 42, No. 9. (September 2009), pp. 30-36.
|
| |
Mechanizing Mathematical Reasoning In Mechanizing Mathematical Reasoning, Vol. 2605 (2005), pp. 452-475.
|
| |
Third International Conference on Availability, Reliability and Security In Third International Conference on Availability, Reliability and Security, Vol. 0 (March 2008), pp. 80-87.
|
| |
Communications of the ACM, Vol. 52, No. 10. (2009), pp. 30-32.
|
| |
|
| |
In 11th High-Assurance Systems Engineering Symposium (HASE '08) (23 December 2008), pp. 165-174.
|
| |
Information Processing Letters, Vol. 41, No. 1. (21 January 1992), pp. 9-12.
|
| |
In ACM Conference on Computer and Communications Security (1993), pp. 62-73.
|
| |
Fundamenta Informaticae, Vol. 77, No. 1-2. (2007), pp. 1-28.
|
| |
Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64.
|
| |
Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004. Proceedings of the Third International Joint Conference on In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (2004), pp. 938-945.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems In TACAS, Vol. 4963 (2008), pp. 33-47.
|
| |
Computational Methods in Systems Biology (2003), pp. 149-162.
|
| |
Communications of the ACM, Vol. 52, No. 4. (2009), pp. 78-88.
|
| |
Science of Computer Programming, Vol. 33, No. 1. (January 1999), pp. 87-96.
|
| |
ACM Computing Surveys, Vol. 41, No. 2. (2009), pp. 1-76.
by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan
|
| |
Computer In {}, Vol. 30, No. 2. (1997), pp. 33-43.
|
| |
Communications of the ACM, Vol. 22, No. 5. (May 1979), pp. 271-280.
|
| |
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on In Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on (2001), pp. 95-102.
|
| |
|
| |
In POPL '80: Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1980), pp. 251-261.
|
| |
TAPSOFT '95: Theory and Practice of Software Development In TAPSOFT '95: Theory and Practice of Software Development, Vol. 915 (1995), pp. 82-96.
|
| |
Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 64-69.
|
| |
Teaching Formal Methods (2004), pp. 235-248.
|
| |
Computer, Vol. 20, No. 9. (1987), pp. 85-91.
|
| |
ZUM '95: The Z Formal Specification Notation In ZUM '95: The Z Formal Specification Notation, Vol. 967 (1995), pp. 105-113.
|
| |
|
| |
16th International Conference on Software Engineering (ICSE-16) In 16th International Conference on Software Engineering (ICSE-16) (1994), pp. 223-227.
|
| |
Conference on Computer Security, Dependability, and Assurance: From Needs to Solutions In Conference on Computer Security, Dependability, and Assurance: From Needs to Solutions (1998), pp. 26-38.
|
| |
Software Engineering Journal, Vol. 7, No. 5. (September 1992), pp. 323-334.
|
| |
Software Engineering Journal, Vol. 4, No. 6. (1989), pp. 330-338.
|
| |
|
| |
Science of Computer Programming, Vol. 2, No. 1. (1982), pp. 53-68.
|
| |
In EDOC '01: Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing (2001), 59.
|
| |
FME'96: Industrial Benefit and Advances in Formal Methods, Vol. 1051 (1996), pp. 1-17.
|
| |
Journal of Systems and Software, Vol. 40, No. 3. (March 1998), pp. 191-194.
|
| |
5th IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) In 5th IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) (2000), pp. 95-96.
|
| |
Theoretical Computer Science, Vol. 126, No. 2. (1994), pp. 183-235.
|
| |
In Applied Formal Methods --- FM-Trends 98, Vol. 1641 (1999), pp. 168-183.
|
| |
|
| |
Journal of Systems and Software, Vol. 35, No. 3. (December 1996), pp. 209-216.
|
| |
Computer, Vol. 39, No. 1. (2006), pp. 40-48.
|
| |
SIGSOFT Software Engineering Notes, Vol. 21, No. 4. (July 1996), pp. 64-66.
|
| |
VDM'91: Formal Software Development Methods In VDM'91: Formal Software Development Methods, Vol. 551 (1991), pp. 588-596.
|
Search
