@dblp

Two-way-compiler: Beitrag zur Modellierung, Implementierung und Bewertung eines Konzepts zur Übersetzung und Validierung sicherheitsgerichteter Software.

. University of Kassel, Germany, (2018)

Links and resources

Tags