Pascal Kesseli
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 16
Publications (10 Years): 16
University of Oxford, UK (PHD)
Education History
University of Oxford, UK
PHD
Publications
- Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman
- Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
- Cristina David, Pascal Kesseli, Daniel Kroening
- Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
- Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
- Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig
- Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael TautschnigAssisted Coverage Closure. CoRR (2015)