Verfasser Suchresultate :: Subito Katalog

1

Operational Annotations

von Attie, Paul C.
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Model and Program Repair via Group Actions

von Attie, Paul C.
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: