33 treff

programverifikasjon notrbib real007699
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
International Workshop on Current Trends in Applied FormalMethods
Bok Engelsk 1999 · Vis mer
Program development in computational logic : a decade of research advances in logic-based program development
Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Bok Engelsk 2004 · Vis mer
Logic based program synthesis and transformation : 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
LOPSTR 2001
Bok Engelsk 2002 · Vis mer
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
Bernhard K. Aichernig, Tom Maibaum (eds.)...
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Program specification and verification techniques Part II
Dahl, Ole-Johan, 1931-2002
Bok Engelsk 1990 · Vis mer
Program specification and verification techniques Del I
Dahl, Ole-Johan
Bok Engelsk 1988 · Vis mer
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Nachum Dershowitz (ed.)
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche (eds....
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 : revised selected and invited papers
DALT 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
International SPIN Workshop
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
International Static Analysis Symposium
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers
TYPES 2003
Bok Engelsk 2004 · Vis mer
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
VMCAI 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
International Static Analysis Symposium
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
International SPIN Workshop
Bok Engelsk 2001 · Vis mer
Verifiable programming
Ole-Johan Dahl
Bok Engelsk 1992 · Vis mer
Programming languages and systems : first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings
APLAS 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
International SPIN Workshop
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 2003 · Vis mer
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
VMCAI 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
International Static Analysis Symposium
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Modular specification and verification of object-oriented programs
Peter Müller
Bok Engelsk 2002 · Vis mer
Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
PAPM-PROBMIV 2002
Bok Engelsk 2002 · Vis mer
Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
TYPES 2000
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
VMCAI 2002
Bok Engelsk 2002 · Vis mer
Static analysis : 8th international symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
International Static Analysis Symposium
Bok Engelsk 2001 · Vis mer
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
International SPIN Workshop
Bok Engelsk 2000 · Vis mer