Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cortesi, Agostino (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:	1st ed. 2002.
Series:	Lecture Notes in Computer Science, 2294
Subjects:	Computers. Software engineering. Computer science. Computer logic. Programming languages (Electronic computers). Theory of Computation. Software Engineering/Programming and Operating Systems. Computer Science, general. Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. Software Engineering.
Online Access:	Full Text via HEAL-Link

Similar Items

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
Published: (2018)

Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
Published: (2003)

Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings /
Published: (2003)

SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
Published: (2000)

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
Published: (2003)

Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /
Published: (2002)

Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings /
Published: (2003)

CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language /
Published: (2004)

Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
Published: (2002)

Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
Published: (2002)

Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings /
Published: (2001)

Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
Published: (2003)

Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings /
Published: (2002)

Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
Published: (2003)

Component Deployment IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings /
Published: (2002)

Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
Published: (2002)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings /
Published: (2002)

Modular Specification and Verification of Object-Oriented Programs
by: Müller, Peter, et al.
Published: (2002)

FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Published: (2002)

Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
Published: (2003)

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
Published: (2018)

Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
Published: (2002)

Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
Published: (2001)

FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Published: (2003)

Semantics, Applications, and Implementation of Program Generation Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings /
Published: (2001)

Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Published: (1998)

Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
Published: (2000)

Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
Published: (1999)

From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
Published: (2004)

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
Published: (2018)

Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
Published: (2002)

Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings /
Published: (1999)

Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
Published: (2000)

Fundamental Approaches to Software Engineering 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
Published: (2002)

Advanced Functional Programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /
Published: (2003)

Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings /
Published: (1999)

Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Published: (1999)

Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings /
Published: (2001)

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
Published: (2002)

Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
Published: (2002)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών