Typestate analysis (Q7860967)
Jump to navigation
Jump to search
form of program analysis
- protocol analysis
Language | Label | Description | Also known as |
---|---|---|---|
English | Typestate analysis |
form of program analysis |
|
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Typestate analysis
- huwiki Típusállapot-analízis