Name
Title | ||
|---|---|---|
Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings |
Year | Venue | Field |
|---|---|---|
2011 | CPP | Computer science,Mathematical proof,Library science,Certification |
DocType | Volume | ISBN |
Conference | 7086 | isbn |
Citations | PageRank | References |
28 | 1.78 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| cpp | 1 | 53 | 4.14 |
| Jean-Pierre Jouannaud | 2 | 1921 | 227.43 |
| Zhong Shao | 3 | 897 | 68.80 |