Search Results for 'Calculuspredicate'

Calculuspredicate published presentations and documents on DocSlides.

A specialization calculus for

by ellena-manuel

program verification. Cristian. . Gherghina. Joi...