FormalCAD.md

layout: project
menu_title: FormalCAD
title: "FormalCAD: Formal Methods and Semantic Technologies for Engineering Design Processes"
pillar: KMR
start: 2011
end: 2012
people: mkohlhase,cjucovschi