Separation logic and concurrent resource management

Published: 2007, Last Modified: 16 May 2025ISMM 2007EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading