Compiler specification and verification /

द्वारा Polak, Wolfgang, 1950-
प्रकाशित 1981

Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : r...

प्रकाशित 2007

Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /

प्रकाशित 2009

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /

प्रकाशित 2007

Hardware and software verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /

प्रकाशित 2008

An introduction to the PL/CV2 programming logic /

द्वारा Constable, R. L. (Robert L.)
प्रकाशित 1982

Program verification using Ada /

द्वारा McGettrick, Andrew D., 1944-
प्रकाशित 1982

Software verification and validation : realistic project approaches /

द्वारा Deutsch, Michael S.
प्रकाशित 1982

A Survey of verification techniques for parallel programs /

द्वारा Barringer, Howard, 1951-
प्रकाशित 1985

Verification, model checking, and abstract interpretation 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /

प्रकाशित 2009

Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

प्रकाशित 2007

Verified software: theories, tools, experiments second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings /

प्रकाशित 2008

Verifying concurrent processes using temporal logic /

द्वारा Hailpern, Brent T. (Brent Tzion), 1955-
प्रकाशित 1982