gefundene Verfasser CHECHIK L

Chechik, Marsha
International Symposium on Formal Methods Lübeck
Katoen, Joost-Pieter
Katoen, Joost-Pieter 1964-
Leucker, Martin
Alle anzeigen »
Leucker, Martin 1971-

Treffer 1 - 2 von 2 für Suche 'CHECHIK L', Suchdauer: 0,53s Treffer weiter einschränken
  1. 1
    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, proceedings

    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, proceedings

    Veröffentlicht 2023

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings

    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings

    Veröffentlicht 2023
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: