Difference between revisions of "APW 2016"
Jump to navigation
Jump to search
(pushed from or by wikipush) |
(No difference)
|
Latest revision as of 17:47, 13 January 2021
| 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/ |
| ... | ... |