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

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

978-1-68083-594-6

99.00 USD