| |
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.
|
| |
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.
|
| |
|
| |
Objects, Components, Models and Patterns (2008), pp. 278-296.
|
| |
FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-15.
|
| |
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.
|
| |
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.
|
| |
International Journal of Intelligent Systems, Vol. 19, No. 1-2. (2004), pp. 79-88.
|
| |
Formal Aspects of Computing (August 2009)
|
| |
Formal Methods and Software Engineering (2006), pp. 678-696.
|
| |
Formal Aspects of Computing, Vol. 18, No. 3. (2006), pp. 264-287.
|
| |
Integrated Formal Methods (2000a), pp. 255-276.
|
| |
ZUM '95: The Z Formal Specification Notation (1995), pp. 526-560.
|
| |
ZUM '97: The Z Formal Specification Notation (1997), pp. 389-424.
|
| |
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on In Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, Vol. 3 (2007), pp. 882-887.
|
| |
Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on In Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, Vol. 1 (2007), pp. 694-701.
|
| |
: Model Driven Engineering Languages and Systems (2006), pp. 291-305.
|
| |
Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64.
|
| |
Lecture Notes in Computer Science : Theorem Proving in Higher Order Logics (2003), pp. 1-24.
|
| |
Formal Aspects of Computing, Vol. V10, No. 2. (28 February 1998), pp. 125-159.
|
| |
Lecture Notes in Computer Science : FM 2006: Formal Methods (2006), pp. 115-130.
|
| |
Lecture Notes in Computer Science : ZUM '98: The Z Formal Specification Notation (1998), pp. 24-41.
|
| |
|
| |
In SAC '02: Proceedings of the 2002 ACM symposium on Applied computing (2002), pp. 1014-1020.
|
| |
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 : Fundamental Approaches to Software Engineering (1998), pp. 71-87.
|
| |
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific (2000), pp. 258-263.
|
| |
Information and Software Technology, Vol. 43, No. 2. (1 February 2001), pp. 137-149.
|
| |
Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on (2004), pp. 1116-1121.
|
| |
Expert Systems with Applications, Vol. 23, No. 4. (November 2002), pp. 349-355.
|
CiteULike
leonardo's CiteULike
Search
