Curator 75 (talk | contribs) (Created page with "{{Event |Acronym=FMCAD 2000 |Title=Formal Methods in Computer-Aided Design |Ordinal=3 |In Event Series=Event Series:B971552d-88d3-4f18-a485-0b44108039be |Single Day Event=no |...") |
Curator 75 (talk | contribs) |
||
Line 12: | Line 12: | ||
|State=US/TX | |State=US/TX | ||
|Country=Country:US | |Country=Country:US | ||
+ | |Official Website=https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD00/PublicDirectory/index.html | ||
}} | }} |