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

Update publications.bib

parent 98e965d2
......@@ -1865,8 +1865,8 @@ author = {Petar Maksimovic and
Sacha{-}{\'{E}}lie Ayoun and
Jos{\'{e}} Fragoso Santos and
Philippa Gardner},
title = {Gillian, Part II: Real-World Verification for
JavaScript and C},
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