Proof tactics for assertions in separation logic (Q1687747)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6821858
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proof tactics for assertions in separation logic |
scientific article; zbMATH DE number 6821858 |
Statements
Proof tactics for assertions in separation logic (English)
0 references
4 January 2018
0 references
0.8481905460357666
0 references
0.8105843663215637
0 references
0.7939406037330627
0 references
0.7872501611709595
0 references
0.7844125628471375
0 references
