Curator 90 (talk | contribs) |
Curator 90 (talk | contribs) |
||
| Line 14: | Line 14: | ||
|Start Date=2016-10-01T00:00:00 | |Start Date=2016-10-01T00:00:00 | ||
|End Date=2016-10-01T23:59:59 | |End Date=2016-10-01T23:59:59 | ||
| − | |Academic Field=Software Verification | + | |Academic Field=Software Verification;Autoproof |
}} | }} | ||
OpenResearchStack: 0.0.29
Confident: 1.9.10
