zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Blieberger, Johann (ed.) et al., Reliable software technologies - Ada-Europe 2002. 7th Ada-Europe international conference, Vienna, Austria, June 17–21, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43784-3). Lect. Notes Comput. Sci. 2361, 219-230 (2002).
MSC:  68U99 68N15
BibTeX Cite
Full Text: Link
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 262-274 (2002).
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication