DSpace Community: Formal Modelling and Verification Formal Modelling and Verification http://hdl.handle.net/2440/14996 2013-05-25T10:37:06Z 2013-05-25T10:37:06Z Introduction McCann, Benjamin Edward Sorfa, David http://hdl.handle.net/2440/71360 2012-06-04T00:30:03Z 2010-12-31T13:30:00Z Title: Introduction Author: McCann, Benjamin Edward; Sorfa, David 2010-12-31T13:30:00Z