Reliable software technologies -- Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16--20, 2003. Proceedings

DOI10.1007/3-540-44947-7zbMath1020.68865OpenAlexW2483429887MaRDI QIDQ1407727

No author found.

Publication date: 18 September 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2655.htm

zbMATH Keywords

Toulouse (France)Ada-Europe 2003Reliable software technologies

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies and applications (68U99) Theory of software (68N99)

Uses Software

• GNAT.Spitbol
• Unnamed Item

This page was built for publication: Reliable software technologies -- Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16--20, 2003. Proceedings