Author Info
Name
Affiliation
Papers
SYLVAIN DAILLER
Univ Paris Saclay, Inria, F-91120 Palaiseau, France
2
Collaborators
Citations 
PageRank 
4
2
0.71
Referers 
Referees 
References 
2
54
28
Title
Citations
PageRank
Year
Lightweight Interactive Proving inside an Automatic Program Verifier.10.352018
Instrumenting a weakest precondition calculus for counterexample generation.10.352018