Computer Aided Verification 29th International Conference, Cav 2017,

Computer Networks 25th International Conference, Cn 2018, Gliwice,

Runtime Verification 4th International Conference, Rv 2013, Rennes,

Computer Aided Verification Azadeh Farzan

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

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

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

Computer Networks 20th International Conference, Cn 2013, Lwowek

Anis Limaiem | Computer-aided Cmm Inspection Planning And Verification

Computer-aided Cmm Inspection Planning And Verification Theory And

Multimedia Modeling 25th International Conference, Mmm 2019,

Information And Software Technologies 25th International Conference,

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)

Software Verification 12th International Conference, Vstte 2020, And