Push-button tools for application developers, full formal verification for component vendors /
Wilson, Thomas,1981-
Maharaj, Savi.
Clark, Robert G.(Robert George),1944-
University of Stirling.Department of Computing Science and Mathematics.
Stirling : Dept. of Computing Science and Mathematics, University of Stirling,
2007.
Includes bibliographical references.
Computer software
Computer software
Computer software developers.