2nd International Conference on Certified Programs and Proofs (CPP 2012)
| Type | Conference |
|---|---|
| Title | 2nd International Conference on Certified Programs and Proofs (CPP 2012) |
| Event date | 13 to end of 15 Dec 2012 |
| Location | Kyoto, Japan |
| Type | Conference |
|---|---|
| Title | 2nd International Conference on Certified Programs and Proofs (CPP 2012) |
| Event date | 13 to end of 15 Dec 2012 |
| Location | Kyoto, Japan |