Release the Beasts: When Formal Methods Meet Real World Data

Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
January, 2018
PDF Cite DOI URL
Type
Conference paper
Publication
It’s All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab