Proceedings of the ACM Conference on High Integrity Language Technology December 2 - 6, 2012, Boston, Massachusetts

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 2012
Schriftenreihe:Ada letters 32.2012,3
Schlagworte:
Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:auf der Haupttitelseite auch: HILT'12
Beschreibung:VIII, 107 S.