| |
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 3. (July 1996), pp. 231-261.
|
| |
Formal Methods and Testing (2008), pp. 39-76.
|
| |
In FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I (1999), pp. 369-387.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 17, No. 3. (1995), pp. 507-535.
|
| |
Automated Reasoning (2006), pp. 392-407.
|
| |
In ICSE '88: Proceedings of the 10th international conference on Software engineering (1988), pp. 396-406.
|
| |
|
| |
|
| |
In ICSE '04: Proceedings of the 26th International Conference on Software Engineering (2004), pp. 711-712.
|
| |
In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 191-202.
|
| |
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.
|
| |
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on In Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on (2001), pp. 95-102.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004, Vol. 91 (16 February 2004), pp. 212-228.
|
| |
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.
|
| |
|
| |
|
| |
Logics of Specification Languages (2008), pp. 47-152.
|
| |
|
| |
In FM-Trends 98: Proceedings of the International Workshop on Current Trends in Applied Formal Method (1999), pp. 1-43.
|
| |
In MFCS '90: Proceedings of the Mathematical Foundations of Computer Science 1990 (1990), pp. 1-14.
|
| |
In CSL '89: Proceedings of the 3rd Workshop on Computer Science Logic (1990), pp. 36-64.
|
| |
|
| |
|
| |
|
| |
Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on (09 September 2009), pp. 555-560.
|
| |
(4 May 2009)
posted to fom by prahlad
on 2009-09-29 06:08:37
as 
|
| |
(01 April 1961)
posted to fom by prahlad
on 2009-06-22 05:35:32
as
|
| |
|
| |
|
| |
IEEE Trans. Softw. Eng., Vol. 22, No. 6. (June 1996), pp. 363-377.
|
| |
|
| |
Foundations of Computer Science, 1977., 18th Annual Symposium on, Vol. 0 (18 July 2008), pp. 46-57.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 632-647.
|
| |
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.
|
| |
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on In Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on (2007), pp. 80-92.
|
| |
Real-Time and Embedded Technology and Applications Symposium, IEEE, Vol. 0 (2007), pp. 203-214.
posted to vcg by prahlad
on 2009-04-26 05:50:23
as
|
| |
In Foundations of Secure Computation (2000)
|
| |
In Proceedings of Foundations of Software Science and Computational Structures, Second International Conference, FOSSACS'99, Vol. 1578 (March 1999)
|
| |
Theoretical Computer Science, Vol. 240, No. 1. (June 2000)
|
| |
In Foundations of Software Science and Computation Structures, Vol. 1378 (1998)
|
| |
|
| |
|
| |
In In The 22nd International Conference on Distributed Computing Systems (ICDCS ’02, Vol. 6 (2002), pp. 329-336.
|
| |
Computer, Vol. 39, No. 1. (2006), pp. 40-48.
|
| |
|
| |
In SEFM '06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (2006), pp. 186-195.
|
Search
