Items Authored/Edited by Grov, Gudmund
![]() | Up a level |
Number of items: 1.
Grov, Gudmund; Ireland, Andrew; Llano, Maria Teresa; Kovacs, Peter; Colton, Simon and Gow, Jeremy.
2016.
'Semi-Automated Design Space Exploration for Formal Modelling'.
In: 5th International ABZ Conference. Linz, Austria 23-27 May 2016.
[Conference or Workshop Item]