| |
Computer Aided Verification (2000), pp. 154-169.
|
| |
Real-Time: Theory in Practice (1992), pp. 45-73.
|
| |
Verification, Model Checking, and Abstract Interpretation (2004), pp. 277-306.
|
| |
In ERLANG '02: Proceedings of the 2002 ACM SIGPLAN workshop on Erlang (2002), pp. 16-23.
|
| |
In PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation (2009), pp. 453-464.
posted to related by mzp
on 2009-07-13 02:21:24
as 
|
| |
In ISORC '08: Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (2008), pp. 551-555.
posted to no-tag by mzp
on 2009-07-03 06:39:24
as
|
| |
Real-Time Systems, Vol. 35, No. 3. (6 April 2007), pp. 181-208.
posted to no-tag by mzp
on 2009-06-30 09:26:36
as
|
| |
Agile Development Conference, 2004 In Agile Development Conference, 2004 (2004), pp. 120-126.
|
| |
Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on In Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on (1996), pp. 404-414.
posted to no-tag by mzp
on 2009-06-29 08:08:20
as
|
| |
Theoretical Computer Science, Vol. 336, No. 2-3. (26 May 2005), pp. 209-234.
by Cyrille Artho, Howard Barringer, Allen Goldberg, et al.Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Rich Washington
|
| |
IEEE Transactions on Software Engineering, Vol. 29, No. 4. (2003), pp. 311-326.
|
| |
Software, IEEE In Software, IEEE, Vol. 22, No. 4. (2005), pp. 68-75.
|
| |
Rapid System Prototyping, 2002. Proceedings. 13th IEEE International Workshop on In Rapid System Prototyping, 2002. Proceedings. 13th IEEE International Workshop on (2002), pp. 146-152.
|
| |
In CODES '00: Proceedings of the eighth international workshop on Hardware/software codesign (2000), pp. 136-140.
|
| |
In CODES/ISSS '08: Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis (2008), pp. 137-142.
posted to 2008 by mzp
on 2009-05-19 04:40:43
as
|
| |
In APSEC '95: Proceedings of the Second Asia Pacific Software Engineering Conference (1995)
|
| |
SIGPLAN Not., Vol. 24, No. 1. (1989), pp. 11-22.
posted to 1998 by mzp
on 2009-02-16 02:17:30
as
|
| |
In In Proceedings of the Second International Conference on the Software Process (1993), pp. 115-124.
|
| |
Comput. Ind., Vol. 53, No. 3. (2004), pp. 297-319.
posted to model by mzp
on 2009-02-16 01:44:23
as
|
| |
J. Syst. Softw., Vol. 77, No. 3. (2005), pp. 285-297.
posted to model by mzp
on 2009-02-16 01:44:16
as
|
| |
In WODA '05: Proceedings of the third international workshop on Dynamic analysis (2005), pp. 1-7.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 7, No. 3. (July 1998), pp. 215-249.
|
| |
In ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (2003), pp. 337-346.
|
| |
Distributed Computing Systems, 1994., Proceedings of the 14th International Conference on In Distributed Computing Systems, 1994., Proceedings of the 14th International Conference on (1994), pp. 396-403.
|
| |
In Intelligent Systems and Automation, Vol. 1019 (June 2008), pp. 487-492.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 113 (03 January 2005), pp. 23-43.
|
| |
In PODS '02: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2002), pp. 65-76.
|
| |
In In ICDT (2003), pp. 300-314.
|
| |
|
| |
In ADC '04: Proceedings of the 15th Australasian database conference (2004), pp. 151-160.
|
| |
In CASCON '97: Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research (1997)
|
| |
In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2002), pp. 161-173.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 187-197.
|
| |
In DocEng '05: Proceedings of the 2005 ACM symposium on Document engineering (2005), pp. 55-57.
posted to no-tag by mzp
on 2008-06-24 12:35:32
as
|
| |
Trustworthy Global Computing (2007), pp. 167-182.
posted to pi xml by mzp
on 2008-06-24 12:22:38
as
|
| |
Formal Techniques for Computer Systems and Business Processes (2005), pp. 18-34.
posted to pi xml by mzp
on 2008-06-24 12:19:31
as
|
| |
Practical Aspects of Declarative Languages (2002), pp. 209-224.
posted to xml by mzp
on 2008-06-24 12:11:28
as
|
| |
Component Deployment (2002), pp. 437-450.
posted to xml by mzp
on 2008-06-23 10:58:48
as
|
| |
In DocEng '02: Proceedings of the 2002 ACM symposium on Document engineering (2002), pp. 88-94.
posted to lazy xml by mzp
on 2008-06-23 10:41:33
as
|
| |
Higher Order Symbol. Comput., Vol. 20, No. 3. (September 2007), pp. 271-293.
posted to lazy sos by mzp
on 2008-06-23 10:31:03
as
|
| |
Database and Expert Systems Applications (2007), pp. 75-86.
posted to lazy xml by mzp
on 2008-06-23 10:21:27
as
|
| |
Information Processing Letters, Vol. 90, No. 5. (15 June 2004), pp. 223-232.
|
| |
Implementation of Functional Languages (1998), 39.
posted to lazy by mzp
on 2008-06-18 03:05:25
as
|
| |
Compiler Construction (1992), pp. 278-296.
posted to lazy by mzp
on 2008-06-18 03:04:26
as
|
| |
In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming (1984), pp. 218-227.
posted to lazy by mzp
on 2008-06-18 03:02:00
as
|
| |
J. Funct. Program., Vol. 9, No. 6. (November 1999), pp. 579-603.
|
| |
posted to lazy xml by mzp
on 2008-04-28 10:52:13
as
|
| |
(2002)
posted to lazy xml by mzp
on 2008-04-28 10:50:55
as
|
| |
In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 41-53.
posted to no-tag by mzp
on 2008-04-19 08:37:25
as
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 1. (January 2005), pp. 163-184.
|
Search
