Results 1 -
1 of
1
A primer on separation logic (and automatic program verification and analysis). Software Safety and Security; Tools for Analysis and Verification (2012)
by P W O’Hearn
| Venue: | NATO Science for Peace and Security Series 33 |
