Verfasser Suchresultate :: Subito Katalog

1

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA

von Wolf, Felix A.
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Gobra: Modular Specification and Verification of Go Programs

von Wolf, Felix A.
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: