William (Monmouth University, West Long Branch, New Jersey, USA) Tepfenhart & Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang: Formal Methods in Computer Science
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part …