Treffer 1 - 2 von 2 für Suche 'Holík, Lukáš', Suchdauer: 0,43s Treffer weiter einschränken
  1. 1
    Automated technology for verification and analysis 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022, proceedings

    Automated technology for verification and analysis 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser:

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automated technology for verification and analysis 20th international symposium, ATVA 2022 virtual event, October 25-28-, 2022 : proceedings

    Automated technology for verification and analysis 20th international symposium, ATVA 2022 virtual event, October 25-28-, 2022 : proceedings

    Veröffentlicht 2022
    Weitere Verfasser:
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: