International Haifa Verification Conference (4th 2008 Haifa, Israel)

Subjects

Computer input-output equipment, Computer programs, Computer software, Computer software, verification, Congresses, Hardwareverifikation, Integrated circuits, Korrektheit, Model Checking, Programmverifikation, Software, Software architecture, Testen, Verification