1. Formal methods in computer science. (2019) Authors: Wang, Jiacun, 1963-; Tepfenhart, William M Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗