KeY (Q6382043)
Jump to navigation
Jump to search
formal verification tool
Language | Label | Description | Also known as |
---|---|---|---|
English | KeY |
formal verification tool |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki KeY
- frwiki KeY (logiciel)
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:KeY program verification tool