| |
Electronic Notes in Theoretical Computer Science, Vol. 55, No. 2. (October 2001), pp. 255-276.
|
| |
Automated Software Engineering, International Conference on In Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on, Vol. 0 (2002), pp. 195-204.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 27, No. 6. (2002), pp. 89-98.
|
| |
In Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming (2009), pp. 261-270.
|
| |
Automated Software Engineering, Vol. 10, No. 2. (1 April 2003), pp. 203-232.
|
| |
Supercomputing, ACM/IEEE 2000 Conference In Supercomputing, ACM/IEEE 2000 Conference (2000), pp. 51-51.
|
| |
In TACAS '95: Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1995), pp. 133-152.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (1996), pp. 147-166.
|
| |
In FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity (2001), pp. 99-118.
|
| |
In In WoTUG 20, Vol. 50 (1997), pp. 48-76.
|
| |
ACM Trans. Embed. Comput. Syst., Vol. 4, No. 2. (2005), pp. 302-330.
|
| |
Integrated Formal Methods (2005), pp. 89-108.
|
| |
ZB 2003: Formal Specification and Development in Z and B (2003), pp. 626-626.
|
| |
Integrated Formal Methods (2004), pp. 267-286.
|
| |
J. Integr. Des. Process Sci., Vol. 6, No. 4. (2002), pp. 2-22.
|
| |
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 26, No. 5. (2001), pp. 109-120.
|
| |
Software Engineering Research, Management and Applications, 2006. Fourth International Conference on In Software Engineering Research, Management and Applications, 2006. Fourth International Conference on (11 September 2006), pp. 40-48.
|
| |
Configurable Distributed Systems, 1998. Proceedings. Fourth International Conference on In Configurable Distributed Systems, 1998. Proceedings. Fourth International Conference on (1998), pp. 43-51.
|
| |
In In Proceedings of the 22nd International Conference on Software Engineering (2000), pp. 439-448.
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 77, No. 4. (06 August 2002), pp. 541-580.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. V2, No. 4. (1 March 2000), pp. 366-381.
|
| |
Software Engineering, IEEE Transactions on, Vol. 23, No. 5. (1997), pp. 279-295.
|
| |
FME'96: Industrial Benefit and Advances in Formal Methods (1996), pp. 1-17.
|
| |
J. ACM, Vol. 31, No. 3. (July 1984), pp. 560-599.
|
| |
Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 666-677.
|
| |
IEEE Trans. Softw. Eng., Vol. 15, No. 5. (1989), pp. 611-621.
|
| |
IEEE J. of Selected Areas in Communications, Vol. 21 (2003)
|
| |
In SAC '08: Proceedings of the 2008 ACM symposium on Applied computing (2008), pp. 1652-1657.
|
| |
Software Engineering Workshop, 2005. 29th Annual IEEE/NASA In Software Engineering Workshop, 2005. 29th Annual IEEE/NASA (2005), pp. 253-264.
|
| |
Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard In Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard (2003), pp. 51-57.
|
| |
Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on In Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings., IEEE 1992 International Conference on (1992), pp. 522-525.
|
| |
Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 77-87.
|
| |
Fundamental Approaches to Software Engineering (2005), pp. 2-18.
|
| |
Building the Information Society (2004), pp. 385-392.
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 92, No. 8. (19 July 2004), pp. 1283-1305.
|
| |
B 2007: Formal Specification and Development in B, Vol. 4355 (2006), pp. 140-154.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 29, No. 6. (2003), pp. 567-571.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 29, No. 6. (2003), pp. 572-575.
|
| |
Computer In Computer, Vol. 30, No. 2. (1997), pp. 33-43.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 28, No. 3. (2002), pp. 308-320.
|
| |
|
| |
Software - Practice and Experience, Vol. 25, No. 3. (1995), pp. 305-330.
|
Search
