Microsoft Terminator (Q6840235)
program analyzer research project
Language | Label | Description | Also known as |
---|---|---|---|
English | Microsoft Terminator |
program analyzer research project |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki T2 Temporal Prover