Enhanced Semantic Access to Formal Software Models.

Hai H. Wang, Danica Damljanovic, Jing Sun

Browse the full ICFEM paper archive.