A program logic for resources
David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto MomiglianoVolume:
389
Year:
2007
Language:
english
Pages:
35
DOI:
10.1016/j.tcs.2007.09.003
File:
PDF, 610 KB
english, 2007