Verifying Isolation Levels of Database Implementations for Free Using Separation Logic | Digital Library | PAMCET

Verifying Isolation Levels of Database Implementations for Free Using Separation Logic | Digital Library | PAMCET | PAMCET