fixpoint approximates to verify properties over logical structures

Printable View