A practical ontology framework for static model analysis.

Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee

Browse the full EMSOFT paper archive.