Publikation

Die Synthese von "Property Specification Language" (PSL) Assertions

Outline:

H. Obereder, M. Pfaff, C. Saminger - Die Synthese von "Property Specification Language" (PSL) Assertions - Forschungsforum der österreichischen Fachhochschulen 2007, Campus Urstein, Österreich, 2007