Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1145/2445196.2445332 | SIGCSE |
Keywords | Field | DocType |
mathematical reasoning,discrete structures,specification,programming by contract,invariants,verification | Programming language,Correctness proofs,Computer science,Design by contract,Theoretical computer science,Mathematical reasoning | Conference |
Citations | PageRank | References |
1 | 0.40 | 3 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Joseph Hollingsworth | 1 | 16 | 2.06 |
| Joan Krone | 2 | 77 | 12.64 |
| Jason Hallstrom | 3 | 4 | 0.83 |
| Murali Sitaraman | 4 | 270 | 40.99 |
| Bruce Weide | 5 | 2 | 1.10 |