Anders P. Ravn

Publications with FICTION

Conference Papers

  1. (2017). A Two-Way Path between Formal and Informal Design of Embedded Systems. UTP 2016. PDF Cite Code Slides DOI