Peter Schrammel

4 books

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... Papers

by Maria Christakis

2.00 of 1

Nekromant der Raumfaltepoche

by Peter Schrammel

0.0 of 0

Das Hortschie-Tier & Die Lurex-Frau: Hyper-Texte

by Peter Schrammel

0.0 of 0

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised ... Notes in Computer Science Book 12549)

by Maria Christakis

0.0 of 0