Skip to content
Snippets Groups Projects
Normal view Permalink
FormalCAD.md 203 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    more projects
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 
    ---
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
---