Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-32759-9_35 | FM |
Field | DocType | Citations |
HOL,Simplex algorithm,Correctness proofs,Computer science,Top-down and bottom-up design,Theoretical computer science,Linear arithmetic,Executable | Conference | 2 |
PageRank | References | Authors |
0.37 | 15 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mirko Spasić | 1 | 5 | 2.59 |
Filip Maric | 2 | 21 | 7.32 |