Read Book Online Now http://www.ezbooks.site/?book=3540196358
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer ... Halifax, Canada (Workshops in Computing)