Leightweight Analysis of Operational Specifications Using Inference Graphs.

Laura K. Dillon, Kurt Stirewalt

Browse the full ICSE paper archive.