Suchergebnisse - Cassez, Franck 1967-

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Automated technology for verification and analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014 ; proceedings

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Cassez, Franck 1967- …”
    Tagungsbericht Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Cassez, Franck 1967- …”
    Inhaltsverzeichnis
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: