Tutorial on Separation Logic (Invited Tutorial).

Peter W. O'Hearn

Published in: CAV (2008)

Keyphrases

neural network
database
information retrieval
topics covered
real world
e learning
website
database systems
classical logic
web based training