| |
FM 2009: Formal Methods (2009), pp. 579-595.
|
| |
In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering (2006), pp. 221-236.
by Gary T. Leavens, Jean R. Abrial, Don Batory, et al.Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon P. Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
|
| |
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.
|
| |
Formal Aspects of Computing, Vol. 20, No. 1. (24 January 2008), pp. 61-77.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 159-182.
|
| |
CONCUR'93 (1993), pp. 217-232.
|
| |
ZB 2002:Formal Specification and Development in Z and B (2002), pp. 140-161.
|
| |
Formal Methods and Software Engineering (2002), pp. 287-298.
|
| |
Science of Computer Programming, Vol. 27, No. 2. (September 1996), pp. 139-173.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 15, No. 1. (January 2006), pp. 92-122.
|
| |
Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on (2003), pp. 138-147.
|
CiteULike
leonardo's CiteULike
Search
Export
