SVA‚ a tool for analysing shared−variable programms
A. W. Roscoe and David Hopkins
Book Title
Proceedings of AVoCS 2007
Note
to appear
Pages
177–183
Year
2007
A. W. Roscoe and David Hopkins