TitleSoftware Engineering and Formal Methods
Publication TypeWorkshop Paper
Year of Publication2012
AuthorsEleftherakis G, Hinchey M, Holcombe M
URLhttp://link.springer.com/chapter/10.1007%2F978-3-642-33826-7_7