Schumann, Johann M

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Automated theorem proving in software engineering by: Schumann, Johann M (Language materials, printed)

Subjects