Verfasser Suchresultate :: Subito Katalog

1

Algebraic Program Analysis

von Kincaid, Zachary
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:
2

Synthesis with Asymptotic Resource Bounds

von Hu, Qinheping
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: