PakCat catalogue record

Automated theorem proving in software engineering

By Schumann, Johann M.

Bibliographic details

Subjects

Software engineering., Automatic theorem proving.