Name
Year | DOI | Venue |
|---|---|---|
2016 | 10.1016/j.jlamp.2016.06.005 | Journal of Logical and Algebraic Methods in Programming |
Field | DocType | Volume |
Web system,Software engineering,Intelligent verification,Theoretical computer science,Verification,Web modeling,Web testing,Mathematics,Software verification | Journal | 85 |
Issue | ISSN | Citations |
5 | 2352-2208 | 1 |
PageRank | References | Authors |
0.36 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Maurice H. ter Beek | 1 | 718 | 62.08 |
| Alexei Lisitsa | 2 | 272 | 45.94 |
| Andrei P. Nemytykh | 3 | 93 | 8.50 |
| António Ravara | 4 | 302 | 20.83 |