| |
Logics of Specification Languages (2008), pp. 47-152.
|
| |
|
| |
In FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I (1999), pp. 369-387.
|
| |
|
| |
|
| |
|
| |
In ICSE '04: Proceedings of the 26th International Conference on Software Engineering (2004), pp. 711-712.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 17, No. 3. (1995), pp. 507-535.
|
| |
In FORTE/PSTV 2000: Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) (2000), pp. 139-154.
|
| |
Computer, Vol. 39, No. 1. (2006), pp. 40-48.
|
| |
|
| |
|
| |
IEEE Trans. Softw. Eng., Vol. 22, No. 6. (June 1996), pp. 363-377.
|
| |
|
| |
In ICSE '88: Proceedings of the 10th international conference on Software engineering (1988), pp. 396-406.
|
| |
Requirements Engineering, 1994., Proceedings of the First International Conference on In Requirements Engineering, 1994., Proceedings of the First International Conference on (1994), pp. 126-134.
|
| |
In ICSE '93: Proceedings of the 15th international conference on Software Engineering (1993), pp. 315-323.
|
| |
In ICSE (1997), pp. 610-611.
|
| |
In CAV, Vol. 1427 (1998), pp. 526-531.
|
| |
Computer Aided Verification (1998), pp. 526-531.
|
| |
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 3. (July 1996), pp. 231-261.
|
