×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
Wing, Jeannette M. (ed.) et al., FM ’99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20–24, 1999. Proceedings. In 2 vols. Berlin: Springer (ISBN 3-540-66587-0/vol1; 3-540-66588-9/vol2). Lect. Notes Comput. Sci. 1708; 1709, 1778-1797 (1999).
PDF BibTeX XML Cite