author : Peter N. Scharbach

Books

• Formal Methods: Theory and Practice. 1987