| |
|
| |
|
| |
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on (15 October 2007), pp. 371-380.
|
| |
|
| |
Formal Aspects of Computing (2009)
|
| |
In ACSC '06: Proceedings of the 29th Australasian Computer Science Conference (2006), pp. 13-23.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 309-329.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 277-307.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 207 (2008), pp. 187-202.
|
| |
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. 323-334.
|
| |
Logics of Specification Languages (2008), pp. 489-596.
|
| |
Integrated Formal Methods (2000a), pp. 255-276.
|
| |
In ACSC '06: Proceedings of the 29th Australasian Computer Science Conference (2006), pp. 13-23.
|
| |
Software Engineering Conference, 2001. Proceedings. 2001 Australian (2001), pp. 224-231.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005), Vol. 160 (8 August 2006), pp. 275-289.
|
| |
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific (2000), pp. 258-263.
|
CiteULike
leonardo's CiteULike
Search
Export
