| 000 | 00671 a2200181 4500 | ||
|---|---|---|---|
| 005 | 20250517234721.0 | ||
| 008 | ####s 0 0 eng d | ||
| 022 | _a1573-0670 | ||
| 024 | 7 |
_a10.1007/s10817-016-9369-1 _2doi |
|
| 040 |
_aNLM _beng _cNLM |
||
| 100 | 1 | _aKrebbers, Robbert | |
| 245 | 0 | 0 |
_aA Formal C Memory Model for Separation Logic. _h[electronic resource] |
| 260 |
_bJournal of automated reasoning _c2016 |
||
| 300 |
_a319-387 p. _bdigital |
||
| 500 | _aPublication Type: Journal Article | ||
| 773 | 0 |
_tJournal of automated reasoning _gvol. 57 _gno. 4 _gp. 319-387 |
|
| 856 | 4 | 0 |
_uhttps://doi.org/10.1007/s10817-016-9369-1 _zAvailable from publisher's website |
| 999 |
_c28795338 _d28795338 |
||