Computer Aided Verification 25th International Conference, Cav 2013,

Computer Aided Verification Azadeh Farzan

Runtime Verification 19th International Conference, Rv 2019, Porto,

Computer Aided Verification | Azadeh Farzan (u. A.) | Englisch |

Computer Aided Verification | Chao Wang (u. A.) | Englisch |

Computer Aided Verification Azadeh Farzan (u. A.) Taschenbuch

Computer-aided Cmm Inspection Planning And Verification Theory And

Advances In Computer Games 16th International Conference, Acg 2019,

Computer Networks 26th International Conference, Cn 2019, Kamien

Computer Vision Systems 12th International Conference, Icvs 2019,

Anis Limaiem | Computer-aided Cmm Inspection Planning And Verification

Corina S. P¿s¿reanu (u. A.) | Computer Aided Verification |

Runtime Verification Third International Conference, Rv 2012,

Robert P. Kursh Computer-aided Verification Of C (gebundene Ausgabe)

Computer Aided Verification By Georg Weissenbacher

Computer Aided Verification By Serdar Tasiran