Treffer 1 – 3 von 3 für Suche 'Păsăreanu, Corina S. ca. 20./21. Jhd', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Symbolic execution and quantitative reasoning applications to software safety and security

    Symbolic execution and quantitative reasoning applications to software safety and security von Păsăreanu, Corina S. ca. 20./21. Jhd

    Veröffentlicht 2020
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Software engineering and formal methods 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings

    Software engineering and formal methods 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Formal methods 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Formal methods 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: