DMCA

Verifying Executable Object-Oriented Specifications with Separation Logic

by Stephan Van Staden , Cristiano Calcagno
Citations:5 - 0 self