QED at Large: A Survey of Engineering of Formally Verified Software

Talia Ringer | Karl Palmskog | Ilya Sergey | Milos Gligoric | Zachary Tatlock

978-1-68083-595-3

280.00 USD