KIT | KIT-Bibliothek | Impressum

Ada - Die sichere Programmiersprache

Keller, H.B.; Mottok, J.



Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Institut für Angewandte Informatik (IAI)
Publikationstyp Vortrag
Jahr 2013
Sprache Deutsch
Identifikator KITopen ID: 230093101
HGF-Programm 34.02.02; LK 01
Erschienen in Impulse für Software Engineering; Summer School, Regensburg, 9.-18. September 2013
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page