Franz Lichtenberger,
"Making Formal Methods Popular: The Crux is Math Education!"
, in Andreas Bollin, Tiziana Margaria, Isabelle Perseil: Formal Methods in Software Engineering Education Teaching and Training, Serie CEUR Workshop Proceedings, Vol. 1385, Sun SITE Central Europe, RWTH Aachen, Seite(n) 27-34, 6-2015, ISSN: 1613-0073
Original Titel:
Making Formal Methods Popular: The Crux is Math Education!
Sprache des Titels:
Englisch
Original Buchtitel:
Formal Methods in Software Engineering Education Teaching and Training