Search Results for 'Updatable'

Updatable published presentations and documents on DocSlides.

Verification of Hierarchical Artifact Systems

by tatiana-dople

Alin. Deutsch, Yuliang Li, Victor . Vianu. UC Sa...