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

Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich

Browse the full ICTERI paper archive.