Michael Dossis. Modeling and simulation in a formal design framework. In Kostas I. Diamantaras, Georgios Evangelidis, Yannis Manolopoulos, Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis, editors, Balkan Conference in Informatics, BCI '13, Thessaloniki, Greece, September 19-21, 2013. pages 31-38, ACM, 2013. [doi]
Abstract is missing.