Verfasser Suchresultate :: Subito Katalog

1

Protocol Conformance with Choreographic PlusCal

von Foo, Darius
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (17. : 2023 : Bristol) Theoretical aspects of software engineering (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Automated Temporal Verification for Algebraic Effects

von Song, Yahui
Veröffentlicht in APLAS (20. : 2022 : Auckland) Programming languages and systems (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: