Computer Aided Verification (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Computer Aided Verification" in French language version.

refsWebsite

Global rank French rank

2^nd place

3^rd place

low place

153^rd place

287^th place

low place

274^th place

223^rd place

low place

arc.gov.au (Global: low place; French: low place)

Edmund M. Clarke, « Counterexample-Guided Abstraction Refinement », Lecture Notes in Computer Science, vol. 1855 « Proceedings CAV 2000 »,‎ 2000, p. 154–169 (ISBN 978-3-540-67770-3, DOI 10.1007/10722167_15).
Antti Valmari, « A Stubborn Attack On State Explosion », Lecture Notes in Computer Science, vol. 531 « Proceedings CAV 1990 »,‎ 1990, p. 156–165 (ISBN 978-3-540-54477-7, DOI 10.1007/BFb0023729)
Patrice Godefroid, « Using Partial Orders to Improve Automatic Verification Methods », Lecture Notes in Computer Science, vol. 531 « Proceedings CAV 1990 »,‎ 1990, p. 176–185 (ISBN 978-3-540-54477-7, DOI 10.1007/BFb0023731).