3rd International Conference on Certified Programs and Proofs (CPP 2013)
| Type | Conference |
|---|---|
| Title | 3rd International Conference on Certified Programs and Proofs (CPP 2013) |
| Event date | 11 to end of 13 Dec 2013 |
| Location | Melbourne, VIC, Australia |
| Type | Conference |
|---|---|
| Title | 3rd International Conference on Certified Programs and Proofs (CPP 2013) |
| Event date | 11 to end of 13 Dec 2013 |
| Location | Melbourne, VIC, Australia |