| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 62-73.
|
| |
|
| |
|
| |
Information Technology: Coding and Computing, 2005. ITCC 2005. International Conference on In Information Technology: Coding and Computing, 2005. ITCC 2005. International Conference on, Vol. 2 (2005), pp. 359-364 Vol. 2.
|
| |
Computer Aided Verification (2005), pp. 296-300.
|
| |
J. Comput. Secur., Vol. 13, No. 3. (2005), pp. 423-482.
|
| |
Formal Modeling and Analysis of Timed Systems (2004), pp. 88-104.
|
| |
Formal Methods and Software Engineering (2005), pp. 450-464.
|
| |
Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 1. (2005), pp. 27-64.
|
| |
Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on In Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 107-116.
|
| |
Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355.
|
| |
J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 219-247.
|
| |
Fundamental Approaches to Software Engineering (2005), pp. 2-18.
|
| |
In ISORC '05: Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2005), pp. 300-307.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 264-313.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 2. (April 2005), pp. 124-167.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of ARTS 2004, the 6th AMAST Workshop on Real-Time Systems (ARTS 2004), Vol. 139, No. 1. (4 November 2005), pp. 145-168.
|
| |
Electr. Notes Theor. Comput. Sci., Vol. 139, No. 1. (2005), pp. 145-168.
|
| |
In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 17-26.
|
Search
