Formal Methods in Computer Science
Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang & William (Monmouth University, West Long Branch, New Jersey, USA) Tepfenhart
Hardback
9780367225704