| |
|
| |
Computer, Vol. 25, No. 10. (October 1992), pp. 40-51.
|
| |
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on In Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on (2006), pp. 8 pp.-445.
|
| |
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 180-189.
|
| |
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 72-81.
|
| |
In International Conference on Software Testing, Verification, and Validation (9-11 April 2008)
|
| |
Verification, Model Checking, and Abstract Interpretation (2005), pp. 199-215.
|
| |
|
| |
|
| |
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume II In FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume II, Vol. 1709/1999 (1999), pp. 73-73.
|
| |
|
| |
|
| |
Formal Methods at the Crossroads: From Panacea to Foundational Support In Formal Methods at the Crossroads: From Panacea to Foundational Support, Vol. 2757/2003 (2003), pp. 34-48.
|
| |
In FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002. Proceedings, Vol. 2391/2002 (2002), pp. 121-152.
|
| |
Software, IEEE, Vol. 2, No. 5. (1985), pp. 24-36.
|
| |
Proceedings of Net. ObjectDays (2005), pp. 545-557.
|
| |
In 1-st European Conference on Model-Driven Software Engineering (11-12 December 2003), pp. 55-63.
|
| |
ACM SIGPLAN Notices In OOPSLA 87, Vol. 23, No. 5. (May 1988), pp. 17-34.
|
| |
In Object-Oriented Technology: ECOOP'99 Workshop Reader, Vol. 1743 (1999), pp. 109-110.
|
| |
In Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France., Vol. 2422/2002 (September 2002), 334.
|
| |
|
| |
Behavioral Specifications of Businesses and Systems (1999), pp. 175-188.
|
| |
Formal Methods for Components and Objects (FMCO) 2005 In Lecture Notes in Computer Science, Vol. 4111 (2006), pp. 342-363.
|
| |
In In Proceedings of International Conference on Aspect Oriented Software Development (AOSD 2006) (22 March 2006)
|
| |
In ACP4IS Workshop at AOSD 2006 (21 March 2006)
|
| |
No. TRCS98-32. (September, 1998)
|
| |
In Proceedings Reflection'99, The Second International Conference on Meta-Level Architectures and Reflection (1999), pp. 19-21.
|
| |
Technology of Object-Oriented Languages, 1998. TOOLS 26. Proceedings In Proceedings of Technology of Object-Oriented Languages (1998), pp. 295-307.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 55, No. 2. (2001), pp. 1-15.
|
| |
|
