| |
ACM Comput. Surv., 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
|
| |
Formal Aspects of Computing (2009)
|
| |
In ABZ, Vol. 5238 (2008), pp. 42-56.
|
| |
In ABZ, Vol. 5238 (2008), pp. 57-70.
|
| |
LNCS In ABZ, Vol. 5238 (2008), pp. 112-124.
|
| |
|
| |
|
| |
In ABZ, Vol. 5238 (2008), pp. 39-41.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 4. (December 2008), pp. 341-360.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Vol. 208 (14 April 2008), pp. 5-22.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 2. (June 2008), pp. 125-141.
|
| |
Formal Methods and Software Engineering (2002), pp. 600-612.
|
| |
Correct Hardware Design and Verification Methods (2001), pp. 449-464.
|
| |
Agent Technology from a Formal Perspective (2006), pp. 25-64.
|
| |
ZUM '95: The Z Formal Specification Notation (1995), pp. 526-560.
|
| |
ZUM '97: The Z Formal Specification Notation (1997), pp. 389-424.
|
| |
Computer, Vol. 39, No. 1. (2006), pp. 40-48.
|
| |
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 177-184.
|
| |
|
Search
Export
Sort
