| |
FM 2009: Formal Methods (2009), pp. 579-595.
|
| |
|
| |
Automated Technology for Verification and Analysis (2009), pp. 21-21.
|
| |
Algebra and Coalgebra in Computer Science (2009), pp. 367-382.
|
| |
Conceptual Modeling — ER '97 (1997), pp. 155-168.
|
| |
Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. 10th International Symposium on In 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Vol. 0 (18 September 2008), pp. 340-347.
|
| |
Annals of Mathematics and Artificial Intelligence (2009)
|
| |
Science of Computer Programming, Vol. 51, No. 1-2. (May 2004), pp. 23-45.
|
| |
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005), pp. 363-373.
|
| |
Computer Security - ESORICS 2008 (2008), pp. 300-316.
|
| |
Commun. ACM, Vol. 14, No. 4. (April 1971), pp. 221-227.
|
| |
Formal Aspects of Computing (2009)
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 1. (2002), pp. 92-148.
|
| |
In ACSC '06: Proceedings of the 29th Australasian Computer Science Conference (2006), pp. 13-23.
|
| |
Integrated Formal Methods (2009), pp. 103-117.
|
| |
Correct Hardware Design and Verification Methods: 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 1999. Proceedings (1999), pp. 705-705.
|
| |
Form. Methods Syst. Des., Vol. 18, No. 3. (2001), pp. 249-284.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 185 (13 July 2007), pp. 77-91.
|
| |
Software and Systems Modeling, Vol. 8, No. 1. (February 2009), pp. 45-65.
|
| |
In ABZ, Vol. 5238 (2008), pp. 42-56.
|
| |
In ABZ, Vol. 5238 (2008), pp. 57-70.
|
| |
Abstract State Machines, B and Z (2008), pp. 338-338.
|
| |
|
| |
In ABZ, Vol. 5238 (2008), pp. 39-41.
|
| |
Graph Transformations (2008), pp. 242-256.
|
| |
Engineering Theories of Software Intensive Systems (2005), pp. 121-139.
|
| |
Electronic Notes in Theoretical Computer Science In REFINE 2002, The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002), Vol. 70, No. 3. (November 2002), pp. 297-310.
|
| |
Integrated Formal Methods (2002), pp. 225-244.
|
| |
High Confidence Software Reuse in Large Systems (2008), pp. 278-281.
|
| |
Science of Computer Programming, Vol. 74, No. 4. (1 February 2009), pp. 168-196.
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 October 2008), pp. 259-266.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 25-49.
|
| |
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.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 331-357.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007), Vol. 201 (7 March 2008), pp. 197-222.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007), Vol. 201 (7 March 2008), pp. 255-264.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007), Vol. 201 (7 March 2008), pp. 31-44.
|
| |
> 2004 - The Unified Modelling Language (2004), pp. 275-289.
|
| |
In SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, Vol. 21, No. 6. (November 1996), pp. 179-190.
|
| |
ESEC '89 (1989), pp. 243-259.
|
| |
Algebraic Methodology and Software Technology (2004), pp. 506-520.
|
| |
FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-15.
|
| |
FM 2008: Formal Methods (2008), pp. 358-373.
|
| |
Formal Methods in Computer-Aided Design (2002), pp. 33-51.
|
| |
Formal Methods in Computer-Aided Design (2000), pp. 74-91.
|
| |
Abstract State Machines 2003 (2003), pp. 33-56.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 207 (2008), pp. 187-202.
|
| |
Verification, Model Checking, and Abstract Interpretation (2008), pp. 68-82.
|
| |
Object-Oriented Technologys (1998), pp. 211-215.
|
CiteULike
leonardo's CiteULike
Search
