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

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

Computer-aided Verification

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

Kurshan - Computer-Aided Verification A Special Issue of Formal Meth - X555z

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2

Formal Methods in Computer Science - 9780367225704

Computer-Aided Verification, Hardcover by Kurshan, R. P. (EDT), Like New Used...