DSpace Repository

The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification

Files in this item

This item appears in the following Collection(s)

Search DSpace


Advanced Search

Browse

My Account