Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-54108-7_5 | VSTTE |
Field | DocType | Citations |
Specification language,Programming language,Computer science,Alloy Analyzer,Boolean satisfiability problem,Correctness,Algorithm,Theoretical computer science,Data type,Counterexample,Scalability,Bounded function | Conference | 2 |
PageRank | References | Authors |
0.39 | 18 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nicolás Rosner | 1 | 68 | 5.14 |
| Carlos Gustavo Lopez Pombo | 2 | 60 | 4.82 |
| Nazareno Aguirre | 3 | 159 | 21.79 |
| ali jaoua | 4 | 282 | 34.15 |
| Ali Mili | 5 | 1067 | 127.61 |
| Marcelo F. Frias | 6 | 295 | 35.57 |