DSpace Community: Formal Modelling and VerificationFormal Modelling and Verificationhttps://hdl.handle.net/2440/149962024-03-18T15:55:13Z2024-03-18T15:55:13ZIntroductionMcCann, B.Sorfa, D.https://hdl.handle.net/2440/713602023-11-17T03:20:52Z2011-01-01T00:00:00ZTitle: Introduction
Author: McCann, B.; Sorfa, D.
Editor: McCann, B.; Sorfa, D.
Description: Also has ISBN 1906660298 ; 9781906660291 (pbk) ; 9780231504652 (ebook)2011-01-01T00:00:00Z