1. Formal verification of floating-point hardware design : a mathematical approach /: a mathematical approach. ([2019]) Authors: Russinoff, David, 1948- Record Type: Book Extent: 1 online resource (xxiv, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday /: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday. (2019) Editors: Beek, Maurice H. ter; Fantechi, Alessandro; Semini, Laura Other Names: Gnesi, Stefania 1954- honouree. Record Type: Book Extent: 1 online resource (xiii, 574 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗