A Calculus for Multi-language Operational Semantics

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	VSTTE (13. : 2021 : Online) Software Verification
1. Verfasser:	Cimini, Matteo (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISBN:	9783030955601