Year | Venue | Field |
---|---|---|
2011 | Int. J. Software and Informatics | HOL,Contingent vote,Computer science,Algorithm,Theoretical computer science,Majority rule,Software requirements specification,Proof assistant |
DocType | Volume | Issue |
Journal | 5 | 1-2 |
Citations | PageRank | References |
0 | 0.34 | 4 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tobias Nipkow | 1 | 3056 | 232.28 |