DSpace Community: Formal Modelling and Verification
https://hdl.handle.net/2440/14996
Formal Modelling and Verification2024-03-18T15:55:13ZIntroduction
https://hdl.handle.net/2440/71360
Title: 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