Commit 98e965d2 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update publications.bib

parent 4f91bf15
......@@ -1862,10 +1862,10 @@ on some textbook examples.},
@InProceedings{Maksimovic2021Gillian,
author = {Petar Maksimovic and
Jos{\'{e}} Fragoso Santos and
Sacha{-}{\'{E}}lie Ayoun and
Jos{\'{e}} Fragoso Santos and
Philippa Gardner},
title = { Gillian, Part II: Real-World Verification for
title = {Gillian, Part II: Real-World Verification for
JavaScript and C},
booktitle = {33rd International Conference on Computer-Aided Verification, (CAV 2021)},
year = {2021},
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment