From Separation Logic to First−Order Logic
P. Gardner C. Calcagno and M. Hague
Details
| Book Title |
FoSSaCS |
| Year |
2005 |
Links
Related pages
|
People |
|
|
Themes |
P. Gardner C. Calcagno and M. Hague
| Book Title |
FoSSaCS |
| Year |
2005 |
|
People |
|
|
Themes |