Curator 75 (talk | contribs) (Created page with "{{Event |Acronym=FMCAD 2012 |Title=Formal Methods in Computer-Aided Design |Ordinal=12 |In Event Series=Event Series:B971552d-88d3-4f18-a485-0b44108039be |Single Day Event=no...") |
Curator 75 (talk | contribs) |
||
Line 11: | Line 11: | ||
|City=GB/ENG/Cambridge | |City=GB/ENG/Cambridge | ||
|Country=Country:GB | |Country=Country:GB | ||
+ | |Official Website=https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD12/ | ||
}} | }} |