| |
|
| |
Software Engineering Education & Training, 2007. CSEET '07. 20th Conference on In Software Engineering Education & Training, 2007. CSEET '07. 20th Conference on (2007), pp. 107-114.
|
| |
Pacific J. Math, Vol. 5, No. 2. (1955), pp. 285-309.
|
| |
Commun. ACM, Vol. 51, No. 7. (July 2008), pp. 60-69.
|
| |
Science, Vol. 313, No. 5788. (11 August 2006), pp. 769-771.
|
| |
In Building the Information Society (2004), pp. 359-366.
|
| |
Service Oriented Computing and Applications, Vol. 1, No. 1. (7 April 2007), pp. 3-17.
|
| |
Service Oriented Computing and Applications, Vol. 2, No. 1. (18 April 2008), pp. 27-39.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 1. (February 2007)
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 17, No. 2. (April 2008), pp. 1-34.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 17, No. 3. (2008), pp. 1-31.
|
| |
Model Driven Engineering Languages and Systems (2008), pp. 113-127.
|
| |
Tests and Proofs (2008), pp. 134-153.
|
| |
|
| |
Software, IEEE In Software, IEEE, Vol. 25, No. 5. (2008), pp. 30-37.
|
| |
Fifth International Workshop on Constraints in Formal Verification (2008)
|
| |
Model Checking Software (2008), pp. 9-25.
|
| |
Tests and Proofs (2008), pp. 171-181.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 367-381.
|
| |
Software, IEEE In Software, IEEE, Vol. 23, No. 4. (July 2006), pp. 38-47.
|
| |
In ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06) (2006), pp. 365-368.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 253-262.
|
| |
In ICSE '08: Proceedings of the 30th international conference on Software engineering (2008), pp. 281-290.
|
Search
