Proceedings of the ACM Conference on High Integrity Language Technology November 10 - 14, 2013, Pittsburgh, PA, USA

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Association for Computing Machinery Special Interest Group on Ada (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New York, NY ACM 2013
Schriftenreihe:	Ada letters 33.2013,3
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	auf der Haupttitelseite auch: HILT'13
Beschreibung:	IX, 89 S.