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