Publication in Theory and Practice of Formal Methods
A paper has been accepted for publication in Theory and Practice of Formal Methods. Bernhard K. Aichernig and …
Publication in Theory and Practice of Formal Methods Read more →
Month: March 2016
Publication at A-MOST 2016
Our second publication has been accepted at A-MOST 2016. Bernhard K. Aichernig and Richard Schumi: “Property-based …