APW 2016
Jump to navigation
Jump to search
Name | Value |
---|---|
isA | Event |
Acronym | APW 2016 |
Title | APW 2016 : AutoProof Workshop |
Start date | 2016-10-01T00:00:00 |
End date | 2016-10-01T23:59:59 |
Homepage | sites.google.com/site/autoproofworkshop2016/ |
... | ... |