Computer Aided Verification 21st International Conference, Cav 2009,

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

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

Computer Aided Verification Azadeh Farzan

Computer Aided Systems Theory -- Eurocast 2013 14th International

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

Computer Vision Systems 9th International Conference, Icvs 2013, St.

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

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

Runtime Verification Third International Conference, Rv 2012,

Dna Computing And Molecular Programming 25th International Conference,