Verfasser Suchresultate :: Subito Katalog

1

Verification of Programs with Pointers in SPARK

von Jaloyan, Georges-Axel
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: