Curator 75 (talk | contribs) |
m (Text replacement - "|State=" to "|Region=") |
||
| Line 10: | Line 10: | ||
|Event Mode=on site | |Event Mode=on site | ||
|City=US/TX/Austin | |City=US/TX/Austin | ||
| − | | | + | |Region=US/TX |
|Country=Country:US | |Country=Country:US | ||
|Official Website=https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD11/ | |Official Website=https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD11/ | ||
}} | }} | ||
OpenResearchStack: 0.0.29
Confident: 1.9.10
