A lambda-calculus model for generating verification conditions

Bibliographische Detailangaben

1. Verfasser:	Abdali, S. (VerfasserIn)
Weitere Verfasser:	Winkler, F. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1981
Ausgabe:	[Microfiche]
Schriftenreihe:	Reports / RENSSELAER POLYTECHNIC INST TROY NY MATH SCIENCES DEPT CS-8104
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!