Werner Gabrisch, Wolf Zimmermann. A Hoare-style verification calculus for control state ASMs. In Mirjana Ivanovic, Zoran Budimac, Milos Radovanovic, editors, Balkan Conference in Informatics, 2012, BCI '12, Novi Sad, Serbia, September 16-20, 2012. pages 205-210, ACM, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.