The Move Prover

Bibliographische Detailangaben

Veröffentlicht in:	CAV (32. : 2020 : Online) Computer aided verification ; Part 1
1. Verfasser:	Zhong, Jingyi Emma (VerfasserIn)
Weitere Verfasser:	Cheang, Kevin (VerfasserIn), Qadeer, Shaz (VerfasserIn), Grieskamp, Wolfgang (VerfasserIn), Blackshear, Sam (VerfasserIn), Park, Junkil (VerfasserIn), Zohar, Yoni (VerfasserIn), Barrett, Clark (VerfasserIn), Dill, David L. (VerfasserIn)
Pages:	1
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!