What is COST Action IC0701?
COST Action IC0701 is a European scientific cooperation. The Action aims to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale. More.
Showing posts 1 - 5 of 15. View more »
Quick Facts and Links
VerifyThus - the COST IC0701 Verification Tool Distribution