P. Kovacs

Automating abstractions in formal modelling

Peter Kovacs, P. Kovacs, 2015 .

Semi-Automated Design Space Exploration for Formal Modelling pdf

Simon Colton, Gudmund Grov, Andrew Ireland, 2016, ABZ.