8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings.
Series: Lecture Notes in Computer Science , Vol. 2126
Cousot, Patrick (Ed.)
Electronic Notes in Theoretical Computer Science,
Volume 39, Issue 2, January 2001,
GEometry and Topology in COncurrency theory (Satellite Workshop from CONCUR 2000), Cousot Patrick, Goubault Éric, Gunawardena Jeremy, Herlihy Maurice, Raussen Martin and Sassone Vladimiro (Eds).
- Science of Computer Programming,
Volume 31, Issue 1, May 1998,
Selected Papers of the First International Static Analysis Symposium,
Patrick Cousot and Baudouin Le Charlier (Eds.)
Science of Computer Programming,
Volume 31 , Issue 1 (May 1998),
M. Sintzoff, P. Cousot, Baudouin Le Charlie(Eds.)
Science of Computer Programming archive
Volume 27 , Issue 2 (September 1996),
lsevier North-Holland, Inc. Amsterdam, The Netherlands, The Netherlands,
M. Sintzoff, P. Cousot, U. Montanari (Eds.).
Logical and operational methods in the analysis of programs and systems, Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages. Volume 1192/1997 of Lecture Notes in Computer Science, Springer, 1997, Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen (Eds.).
Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Series: Lecture Notes in Computer Science , Vol. 724
Cousot, P.; Falaschi, M.; File, G.; Rauzy, A. (Eds.)
Last modified : Saturday, 02-Jan-2010 10:46:44 CET