%0 Conference Paper %1 conf/wrla/SkeirikMR20 %A Skeirik, Stephen %A Meseguer, José %A Rocha, Camilo %B WRLA@ETAPS %D 2020 %E Escobar, Santiago %E Martí-Oliet, Narciso %I Springer %K dblp %P 176-196 %T Verification of the IBOS Browser Security Properties in Reachability Logic. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2020.html#SkeirikMR20 %V 12328 %@ 978-3-030-63595-4

@inproceedings{conf/wrla/SkeirikMR20, added-at = {2023-09-20T00:00:00.000+0200}, author = {Skeirik, Stephen and Meseguer, José and Rocha, Camilo}, biburl = {https://www.bibsonomy.org/bibtex/28b5c9415435cb48813b62519b6f31043/dblp}, booktitle = {WRLA@ETAPS}, crossref = {conf/wrla/2020}, editor = {Escobar, Santiago and Martí-Oliet, Narciso}, ee = {https://doi.org/10.1007/978-3-030-63595-4_10}, interhash = {1e5f227f59f31063dfcd225e34490ab0}, intrahash = {8b5c9415435cb48813b62519b6f31043}, isbn = {978-3-030-63595-4}, keywords = {dblp}, pages = {176-196}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:58:09.000+0200}, title = {Verification of the IBOS Browser Security Properties in Reachability Logic.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2020.html#SkeirikMR20}, volume = 12328, year = 2020 }