Computer-Aided Verification: A Special Issue of Formal Methods In System Desig..

Guttman - VLISP A Verified Implementation of Scheme A Special Issue - X555z

Lamprecht - Leveraging Applications of Formal Methods Verification a - X555z

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

Children of the Book: A Memoir of Reading Together ARC by Ilana Kurshan: New

Margaria - Leveraging Applications of Formal Methods Verification and - X555z