| |
Formal Methods for Open Object-Based Distributed Systems In Formal Methods for Open Object-Based Distributed Systems, Vol. 4037 (2006), pp. 138-155.
|
| |
|
| |
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.
|
| |
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.
|
| |
Communications of the ACM, Vol. 52, No. 4. (2009), pp. 78-88.
|
| |
No. S.P1229.81.1. (19 August 2008)
|
| |
|
| |
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.
|
| |
|
| |
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.
|
| |
Computer In Computer, Vol. 29, No. 4. (April 1996), pp. 21-22.
|
| |
Computer In Computer, Vol. 29, No. 4. (April 1996), pp. 20-21.
|
| |
Computer In Computer, Vol. 29, No. 4. (April 1996), pp. 19-19.
|
| |
Computer In Computer, Vol. 29, No. 4. (April 1996), pp. 18-19.
|
| |
Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 64-69.
|
| |
ACM Computing Surveys, Vol. 31, No. 3es. (September 1999)
|
| |
Teaching Formal Methods (2004), pp. 235-248.
|
| |
Computer, Vol. 20, No. 9. (1987), pp. 85-91.
|
| |
Software Engineering Journal, Vol. 11, No. 2. (1996), pp. 104-110.
|
| |
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.
|
| |
In Software Engineering (November 1996)
|
| |
Software Engineering Journal, Vol. 7, No. 5. (September 1992), pp. 323-334.
|
| |
Software Engineering Journal, Vol. 4, No. 6. (1989), pp. 330-338.
|
| |
|
| |
In Proceedings of the 13th New Zealand Computer Society Conference (1993), pp. 207-217.
|
| |
Science of Computer Programming, Vol. 2, No. 1. (1982), pp. 53-68.
|
| |
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.
|
| |
Journal of Universal Computer Science, Vol. 13, No. 5. (2007), pp. 669-678.
|
| |
In 1st IEEE International Symposium on Secure Software Engineering (March 2006)
|
Search
Export
