| |
Formal Methods: Foundations and Applications (2009), pp. 204-219.
|
| |
FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-15.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), Vol. 130 (12 May 2005), pp. 281-300.
|
| |
Fundamental Approaches to Software Engineering In Lecture Notes in Computer Science, Vol. 1382 (1998), pp. 205-220.
|
| |
Science of Computer Programming In Special Issue on Program Transformation, Vol. 52, No. 1-3. (August 2004), pp. 53-100.
|
| |
ECOOP 2003 -- Object-Oriented Programming (2003), pp. 457-482.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), Vol. 195 (18 January 2008), pp. 57-74.
|
| |
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. 311-330.
|
| |
: Formal Methods for Open Object-Based Distributed Systems (2006), pp. 123-137.
|
| |
Lecture Notes in Computer Science : Refinement Techniques in Software Engineering (2006), pp. 18-63.
|
| |
Lecture Notes in Computer Science : Refinement Techniques in Software Engineering (2006), pp. 1-17.
|
| |
Software and Systems Modeling, Vol. 4, No. 3. (31 July 2005), pp. 277-296.
|
| |
Formal Aspects of Computing, Vol. V15, No. 2. (1 November 2003), pp. 146-181.
|
| |
Lecture Notes in Computer Science : Formal Methods for Open Object-Based Distributed Systems (2005), pp. 99-114.
|
| |
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. 492-522.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Workshop on Formal Methods, Vol. 95 (17 May 2004), pp. 23-51.
|
CiteULike
leonardo's CiteULike
Search
Export
