External Links

    Journal: Foundations and Trends in Programming Languages

    Volume 5, Issue 2-3

    102 -- 281Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock. QED at Large: A Survey of Engineering of Formally Verified Software
    runs on