×

zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–13)

100
MathJax
Grieskamp, Wolfgang (ed.) et al., Integrated formal methods. 2nd international conference, IFM 2000, Dagstuhl Castle, Germany, November 1–3, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41196-8). Lect. Notes Comput. Sci. 1945, 136-155 (2000).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: Link
Braunschweig: Vieweg. xiv, 222 p. (1998).
MSC:  68N99 68-01
PDF BibTeX XML Cite