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