| |
ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-36.
|
| |
Software Testing, Verification, and Validation, 2008 International Conference on In 2009 International Conference on Software Testing Verification and Validation (ICST), Vol. 0 (April 2009), pp. 131-140.
|
| |
Objects, Components, Models and Patterns (2008), pp. 278-296.
|
| |
Models in Software Engineering (2008), pp. 194-205.
|
| |
Verified Software: Theories, Tools, Experiments In Lecture Notes in Computer Science, Vol. 4171 (2008), pp. 64-69.
|
| |
FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-15.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1-2. (1 February 2009), pp. 133-154.
|
| |
Innovations in Systems and Software Engineering, Vol. 1, No. 2. (2005), pp. 125-146.
|
| |
Computer In Computer, Vol. 39, No. 10. (2006), pp. 57-64.
|
| |
Formal Aspects of Computing, Vol. 20, No. 1. (January 2008), pp. 117-139.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1-2. (1 February 2009), pp. 3-32.
|
| |
Formal Aspects of Computing (August 2009)
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 187 (2007), pp. 19-34.
|
| |
Formal Methods and Software Engineering (2006), pp. 697-716.
|
| |
Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64.
|
| |
Lecture Notes in Computer Science : Refinement Techniques in Software Engineering (2006), pp. 220-268.
|
| |
Lecture Notes in Computer Science : Refinement Techniques in Software Engineering (2006), pp. 1-17.
|
| |
Software and Systems Modeling, Vol. 4, No. 3. (31 July 2005), pp. 277-296.
|
| |
Formal Aspects of Computing, Vol. V15, No. 2. (1 November 2003), pp. 146-181.
|
| |
Lecture Notes in Computer Science : VDM '90 VDM and Z — Formal Methods in Software Development (1990), pp. 340-351.
|
| |
Formal Aspects of Computing, Vol. 7, No. 3. (1 May 1995), pp. 266-288.
|
| |
Electronic Notes in Theoretical Computer Science In REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002), Vol. 70, No. 3. (November 2002), pp. 492-522.
|
Search
Export
Sort
