%0 Conference Paper %1 conf/overlay/ChahokiRAM23 %A Chahoki, Atefeh Zareh %A Roveri, Marco %A Amyot, Daniel %A Mylopoulos, John %B OVERLAY@AI*IA %D 2023 %E Brunello, Andrea %E Gianola, Alessandro %E Mogavero, Fabio %I CEUR-WS.org %K dblp %P 55-60 %T Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. %U http://dblp.uni-trier.de/db/conf/overlay/overlay2023.html#ChahokiRAM23 %V 3629

@inproceedings{conf/overlay/ChahokiRAM23, added-at = {2024-02-07T00:00:00.000+0100}, author = {Chahoki, Atefeh Zareh and Roveri, Marco and Amyot, Daniel and Mylopoulos, John}, biburl = {https://www.bibsonomy.org/bibtex/2a1fa2c160816e7422fdf7558e8fb206c/dblp}, booktitle = {OVERLAY@AI*IA}, crossref = {conf/overlay/2023}, editor = {Brunello, Andrea and Gianola, Alessandro and Mogavero, Fabio}, ee = {https://ceur-ws.org/Vol-3629/paper9.pdf}, interhash = {6e9e86f54b3f3c5bb3ee3cee11bf5e4c}, intrahash = {a1fa2c160816e7422fdf7558e8fb206c}, keywords = {dblp}, pages = {55-60}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T21:22:30.000+0200}, title = {Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements.}, url = {http://dblp.uni-trier.de/db/conf/overlay/overlay2023.html#ChahokiRAM23}, volume = 3629, year = 2023 }