Formal Verification of Concurrent Embedded Software [chapter]

Dirk Nowotka, Johannes Traub
2013 IFIP Advances in Information and Communication Technology  
doi:10.1007/978-3-642-38853-8_20 fatcat:fiyavc4llbfh3drevijahf673m