×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 146-162 (2002).
MSC:  68Q60
BibTeX Cite
Full Text: Link

Filter Results by …

Author
Year of Publication
Classification
Software