%0 Conference Paper %1 conf/sas/SuzanneM16 %A Suzanne, Thibault %A Miné, Antoine %B SAS %D 2016 %E Rival, Xavier %I Springer %K %P 469-488 %T From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models. %U http://dblp.uni-trier.de/db/conf/sas/sas2016.html#SuzanneM16 %V 9837 %@ 978-3-662-53412-0

@inproceedings{conf/sas/SuzanneM16, added-at = {2023-12-13T00:45:58.000+0100}, author = {Suzanne, Thibault and Miné, Antoine}, biburl = {https://www.bibsonomy.org/bibtex/2131b367fcde96e2d932ef895571f0b75/admin}, booktitle = {SAS}, crossref = {conf/sas/2016}, editor = {Rival, Xavier}, ee = {https://doi.org/10.1007/978-3-662-53413-7_23}, interhash = {6814071e65c268854e702b71453df384}, intrahash = {131b367fcde96e2d932ef895571f0b75}, isbn = {978-3-662-53412-0}, keywords = {}, pages = {469-488}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:45:58.000+0100}, title = {From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2016.html#SuzanneM16}, volume = 9837, year = 2016 }