| |
Integrated Formal Methods (2009), pp. 40-55.
|
| |
In PLPV '09: Proceedings of the 3rd workshop on Programming languages meets program verification (2008), pp. 67-72.
|
| |
|
| |
Computer Aided Systems Theory - EUROCAST 2009 (2009), pp. 865-872.
|
| |
|
| |
Quality Software, 2008. QSIC '08. The Eighth International Conference on In 2008 Eighth International Conference on Quality Software (QSIC), Vol. 0 (19 August 2008), pp. 45-54.
|
| |
Semantics and Algebraic Specification (2009), pp. 140-161.
|
| |
Formal Aspects of Computing, Vol. 21, No. 3. (May 2009), pp. 293-301.
|
| |
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. 203, No. 1. (28 March 2008), pp. 135-148.
|
| |
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 529-532.
|
| |
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
|
| |
|
| |
Data & Knowledge Engineering, Vol. 68, No. 3. (01 March 2009), pp. 292-317.
|
| |
Science of Computer Programming, Vol. 74, No. 4. (1 February 2009), pp. 168-196.
|
| |
Theoretical Computer Science, Vol. In Press, Accepted Manuscript (2008)
|
| |
In Asia International Conference on Modelling and Simulation (2008), pp. 849-854.
|
| |
Electron. Notes Theor. Comput. Sci. In Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006), Vol. 211 (28 April 2008), pp. 191-200.
|
| |
Asia-Pacific Software Engineering Conference, 2007. APSEC 2007 In Asia-Pacific Software Engineering Conference, 2007. APSEC 2007 (2007), pp. 278-285.
|
| |
Formal Methods and Software Engineering (2004), pp. 434-448.
|
| |
In AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling (2007), pp. 41-48.
|
| |
J. UCS, Vol. 9, No. 2. (2003), pp. 138-151.
|
| |
Integration of Software Specification Techniques forApplications in Engineering (2004), pp. 355-373.
|
| |
In SAC '07: Proceedings of the 2007 ACM symposium on Applied computing (2007), pp. 998-1005.
|
| |
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 587-601.
|
| |
Reliable Systems on Unreliable Networked Platforms (2007), pp. 281-303.
|
| |
Recent Trends in Algebraic Development Techniques (2007), pp. 142-155.
|
| |
Lecture Notes in Computer Science: Software Engineering Techniques: Design for Quality (2006), pp. 261-271.
|
| |
Lecture Notes in Computer Science : Formal Methods and Software Engineering (2006), pp. 324-341.
|
| |
Autonomous Agents and Multi-Agent Systems, Vol. V3, No. 1. (1 March 2000), pp. 9-31.
|
| |
Autonomous Agents and Multi-Agent Systems, Vol. V6, No. 2. (1 March 2003), pp. 185-219.
|
| |
Software and Systems Modeling, Vol. 3, No. 2. (1 May 2004), pp. 85-113.
|
| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 381-390.
|
| |
Lecture Notes in Computer Science : Hybrid Systems II (1995), pp. 436-461.
|
| |
Automated Software Engineering, 1999. 14th IEEE International Conference on. (1999), pp. 255-258.
|
| |
Lecture Notes in Computer Science : Tools and Algorithms for the Construction and Analysis of Systems (1998), pp. 217-231.
|
| |
Software Engineering Environments, Eighth Conference on (1997), pp. 131-144.
|
| |
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the (2004), pp. 255-261.
|
| |
Formal Aspects of Computing, Vol. V17, No. 4. (26 December 2005), pp. 461-483.
|
| |
Lecture Notes in Computer Science : Architecting Dependable Systems III (2005), pp. 148-172.
|
| |
Formal Aspects of Computing, Vol. V11, No. 6. (3 December 1999), pp. 637-664.
|
| |
In SAC '05: Proceedings of the 2005 ACM symposium on Applied computing (2005), pp. 1546-1552.
|
| |
American Control Conference, 2001. Proceedings of the 2001, Vol. 1 (2001), pp. 313-318 vol.1.
|
CiteULike
leonardo's CiteULike
Search
Export
