Enhancing the Alloy Analyzer with Patterns of Analysis

What this record says

Formal techniques have been shown to be useful in the development of correct software. But the level of expertise required

CATALOG · The abstract is indexed.