John Boyland;Aaron Greenhouse
-;-
Checking interference with fractional permissions
SAS'03 Proceedings of the 10th international conference on Static analysis