Items Authored/Edited by Grov, Gudmund
Up a level |
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
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]