| |
Theorem Proving in Higher Order Logics (2008), pp. 22-27.
|
| |
Modeling and Verification of Parallel Processes In Modeling and Verification of Parallel Processes, Vol. 2067 (2001), pp. 39-57.
|
| |
|
| |
|
| |
25 Years of Model Checking (2008), pp. 1-26.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 133-154.
|
| |
Fundamental Approaches to Software Engineering (1998), pp. 205-220.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 162 (29 September 2006), pp. 273-276.
|
| |
Lecture Notes in Computer Science : Refinement Techniques in Software Engineering (2006), pp. 64-122.
|
| |
Unifying Theories of Programming (2006), pp. 38-62.
|
| |
|
| |
|
| |
|
| |
Logics of Specification Languages (2008), pp. 241-298.
|
| |
In Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 93-108.
|
| |
Theoretical Aspects of Computing - ICTAC 2008 In Proceedings of the 5th international colloquium on Theoretical Aspects of Computing (1 September 2008), pp. 258-273.
|
| |
Software Engineering, IEEE Transactions on, Vol. 32, No. 3. (2006), pp. 140-155.
|
| |
Software Testing, Verification and Reliability, Vol. 9, No. 4. (1999), pp. 263-282.
|
| |
Transactions on Software Engineering In Transactions on Software Engineering, Vol. 16, No. 8. (1990), pp. 870-879.
|
| |
In Proceedings of the Second Conference on Computer Science and Engineering in Linköping (October 1999), pp. 21-28.
|
| |
In Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 29, No. 4. (July 2004), pp. 97-107.
|
| |
Formal Methods and Testing (2008), pp. 1-38.
|
| |
Software Testing, Verification and Reliability, Vol. 14, No. 3. (2004), pp. 189-211.
|
| |
Computer, Vol. 41, No. 8. (2008), pp. 99-101.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Vol. 148, No. 1. (1 February 2006), pp. 89-111.
|
| |
Formal Approaches to Software Testing (2005), pp. 1-15.
|
| |
Formal Approaches to Software Testing (2006), pp. 16-31.
|
| |
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 151-160.
|
| |
|
| |
ACM Comput. Surv., Vol. 28, No. 4. (December 1996), pp. 626-643.
|
| |
Applied Formal Methods — FM-Trends 98 (1999), pp. 44-61.
|
| |
IEEE Software In IEEE Software, Vol. 12, No. 4. (July 1995), pp. 34-41.
|
| |
Formal Methods and Software Engineering (2002), pp. 287-298.
|
| |
Formal Methods and Software Engineering (2008), pp. 45-65.
|
| |
FME'96: Industrial Benefit and Advances in Formal Methods (1996), pp. 576-594.
|
| |
ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
by Edmund M. Clarke, Jeannette M. Wing, Rajeev Alur, et al.Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J. Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave
|
| |
Formal Methods for Software Architectures (2003), pp. 1-24.
|
| |
|
| |
Formal Methods and Software Engineering (2008), pp. 375-396.
|
| |
|
| |
Integrated Formal Methods (2005), pp. 109-128.
|
| |
Applied Formal Methods — FM-Trends 98 In Applied Formal Methods — FM-Trends 98, Vol. 1641 (1999), pp. 168-183.
|
| |
|
| |
|
| |
J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
|
| |
In Current Trends in Programming Methodology, IV: Data Structuring (1978)
|
| |
|
| |
|
| |
Communications of the ACM, Vol. 14, No. 4. (April 1971), pp. 221-227.
|
| |
Science of Computer Programming, Vol. 27, No. 2. (September 1996), pp. 139-173.
|
Search
