Menu

Items Authored/Edited by Grov, Gudmund

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 1.

[img]
Preview
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]

This list was generated on Wed Apr 24 04:43:55 2024 BST.