Not registered as user yet

Name:Andrei Paskevich
Affiliation:LRI, Université Paris-Sud & CNRS

Contributions

POPL 2020 Author of Deductive Verification with Ghost Monitors within the Research Papers-track