Now Publishers - IEEE Multiple Resolution Landing Page

QED at Large: A Survey of Engineering of Formally Verified SoftwareRinger,Talia et al.Foundations and TrendsĀ® in Programming Languages(2018), 5 (2-3):102http://dx.doi.org/10.1561/2500000045

The monograph you are looking for is available from Now Publishers as a journal article or from the IEEE as an ebook. Click on the logo below to take you to the correct version for your access.

Now Logo IEEE Logo