107
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...