Search Results for 'Areanu'

Areanu published presentations and documents on DocSlides.

Automated AssumeGuarantee Reasoning by Abstraction Renement Mihaela Gheorghiu Bobaru Corina S

by danika-pritchard

P as areanu and Dimitra Giannakopoulou PSGS and ...