SVA‚ a tool for analysing shared−variable programms

Bibliographic Details
Main Authors: Roscoe, A, Hopkins, D
Format: Conference item
Published: 2007