Research in interactive program-proving techniques SRI Project 8398, phase 2

Bibliographische Detailangaben

Weitere Verfasser:	Elspas, B. (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	Menlo Park, Calif. Stanford Research Inst 1972
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!