| |
Electronic Notes in Theoretical Computer Science, Vol. 240 (02 July 2009), pp. 239-257.
|
| |
Rolling stone., No. 1050. (2008), 22.
|
| |
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 3-32.
|
| |
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.
|
| |
Formal Aspects of Computing, Vol. 10, No. 3. (21 March 1998), pp. 267-289.
|
| |
The Computer Journal, Vol. 41, No. 1. (1 January 1998), pp. 1-15.
|
| |
|
| |
VDM '91 Formal Software Development Methods In VDM '91 Formal Software Development Methods, Vol. 552 (1991), pp. 79-140.
|
| |
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 4591 (2007), pp. 480-500.
|
| |
SIGSOFT Software Engineering Notes, Vol. 14, No. 5. (1989), pp. 43-54.
|
| |
|
| |
Journal of Systems and Software, Vol. 35, No. 3. (December 1996), pp. 209-216.
|
| |
VDM'91: Formal Software Development Methods In VDM'91: Formal Software Development Methods, Vol. 551 (1991), pp. 588-596.
|
| |
ZUM '97: The Z Formal Specification Notation In ZUM '97: The Z Formal Specification Notation, Vol. 1212 (1997), pp. 72-85.
|
| |
Computer In Computer, Vol. 23, No. 9. (1990), pp. 8-24.
|
| |
|
| |
Inorganic Chemistry, Vol. 46, No. 19. (1 September 2007), pp. 7827-7839.
|
| |
American Journal of Anatomy, Vol. 93, No. 1. (1953), pp. 61-105.
|
| |
In FMSE '08: Proceedings of the 6th ACM workshop on Formal methods in security engineering (2008), pp. 43-52.
|
| |
IEEE Trans. Softw. Eng., Vol. 15, No. 5. (1989), pp. 611-621.
|
| |
Software Engineering Conference, 2003. Tenth Asia-Pacific In Software Engineering Conference, 2003. Tenth Asia-Pacific (2003), pp. 415-424.
|
| |
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on In Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on (2008), pp. 281-288.
|
| |
|
| |
Formal Aspects of Computing
|
| |
|
| |
|
| |
|
| |
FME 2002:Formal Methods—Getting IT Right In Formal Methods -- Getting IT Right, Vol. 2391 (2002), pp. 1-15.
|
| |
|
| |
Formal Aspects of Computing, Vol. 15, No. 2. (1 November 2003), pp. 182-214.
|
| |
Theoretical Aspects of Computing - ICTAC 2006 In Theoretical Aspects of Computing -- ICTAC 2006, Vol. 4281 (2006), pp. 15-34.
|
| |
|
| |
Objects, Components, Models and Patterns (2008), pp. 278-296.
|
| |
Ultramicroscopy, Vol. 37, No. 1-4. (August 1991), pp. 14-38.
|
| |
Advanced Information Systems Engineering (2002), pp. 626-642.
|
| |
|
| |
FME 2001: Formal Methods for Increasing Software Productivity (2001), pp. 278-299.
|
| |
Formal Methods for Industrial Applications (1996), pp. 109-128.
|
| |
Fundamental Approaches to Software Engineering In Lecture Notes in Computer Science, Vol. 1382 (1998), pp. 205-220.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the REFINE 2005 Workshop (REFINE 2005), Vol. 137, No. 2. (21 July 2005), pp. 23-44.
|
| |
Applied Physics Letters, Vol. 83, No. 13. (2003), pp. 2527-2529.
|
| |
Optics Communications, Vol. 263, No. 2. (15 July 2006), pp. 304-308.
|
| |
Formal Aspects of Computing, Vol. 20, No. 1. (January 2008), pp. 21-39.
|
| |
Logics of Specification Languages (2008), pp. 489-596.
|
| |
Software Quality Journal, Vol. 12, No. 3. (2004), pp. 231-264.
|
| |
In Z User Workshop (1990), pp. 173-192.
|
| |
In Z User Workshop (1990), pp. 381-381.
|
| |
Software Engineering Education and Training, 2004. Proceedings. 17th Conference on In Software Engineering Education and Training, 2004. Proceedings. 17th Conference on (2004), pp. 84-89.
|
Search
