×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 153-167 (2003).
MSC:  68U99 68N99
BibTeX Cite
Full Text: Link
Rosen, Jean-Pierre (ed.) et al., Reliable software technologies - Ada-Europe 2003. 8th Ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2655, 142-152 (2003).
MSC:  68U99 68N99
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software