Research directions in programming language semantics and formal program verification

Bibliographische Detailangaben

1. Verfasser:	Clarke, E. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, Mass. Center for Research in Computing Techn., Aiken Computation Laboratory, Univ. 1981
Schriftenreihe:	TR / Center for Research in Computing Technology, Harvard University 1981,22
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!