Open Access 20.12.2017 | Original Article
The symbiosis of concurrency and verification: teaching and case studies
Erschienen in: Formal Aspects of Computing | Ausgabe 2/2018
Open Access 20.12.2017 | Original Article
Erschienen in: Formal Aspects of Computing | Ausgabe 2/2018