Search Results for 'Areanu'

Areanu published presentations and documents on DocSlides.

Automated AssumeGuarantee Reasoning by Abstraction Renement Mihaela Gheorghiu Bobaru Corina S

Automated AssumeGuarantee Reasoning by Abstraction Renement Mihaela Gheorghiu Bobaru Corina S

danika-pritchard
13 Slides

P as areanu and Dimitra Giannakopoulou PSGS and ...

Copyright © 2025 DocSlides. All Rights Reserved