"Computer programs+Verification.+Congresses." - ECU Libraries Catalog

Start Over

You searched for: subject "Computer programs+Verification.+Congresses."

Showing 21 - 30 of 37 results

Search Results

Cover image for Hardware and software verification and testing

Hardware and software verification and testing

by International Haifa Verification Conference
2006
Format: Electronic

Location
Access Content Online

Cover image for Numerical software with result verification

Numerical software with result verification

2004
Format: Electronic

Location
Access Content Online

Cover image for Program analysis and compilation, theory and practice

Program analysis and compilation, theory and practice

2007
Format: Electronic

Location
Access Content Online

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

by VMCAI 2005
2005
Format: Electronic

Location
Access Content Online

Cover image for PLPV '09

PLPV '09

by PLPV '09
2009
Format: Electronic

Location
Access Content Online

Cover image for PLPV'07

PLPV'07

by PLPV '07
2007
Format: Electronic

Location
Access Content Online

Cover image for Verified software

Verified software

by VSTTE (Conference)
2014
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2008
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2009
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2010
Format: Electronic

Location
Access Content Online