Toward relable modular programms

Zugl.: Pasadena, Cal., Caltech, master-thesis, 1995

Bibliographische Detailangaben

1. Verfasser:	Leino, K. Rustan M. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Pasadena, Calif. Computer Science Department, California Institute of Technology 1995
Schriftenreihe:	Caltech-CS-TR 95-03
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!