Publikation

On the Architecture of System Verification Environments

Mark Hillebrand, Wolfgang Paul

In: Karen Yorav (Hrsg.). Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23--25, 2007. International Haifa Verification Conference (HVC) Seiten 153-168 LNCS 4899 Springer 10/2007.

Projekte

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence