separation logic (Q3257964)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | separation logic |
No description defined |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(4 entries)
- enwiki Separation logic
- fawiki منطق جدایی
- frwiki Logique de séparation
- ruwiki Логика разделения