Programming Behavioral Test Models for SMT Solving in Scala

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Abgeschlossen
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Projekt: Forschungsprojekt

Projekte