%0 Conference Paper %1 conf/sas/ToubhansCR14 %A Toubhans, Antoine %A Chang, Bor-Yuh Evan %A Rival, Xavier %B SAS %D 2014 %E Müller-Olm, Markus %E Seidl, Helmut %I Springer %K dblp %P 285-301 %T An Abstract Domain Combinator for Separately Conjoining Memory Abstractions. %U http://dblp.uni-trier.de/db/conf/sas/sas2014.html#ToubhansCR14 %V 8723 %@ 978-3-319-10935-0

@inproceedings{conf/sas/ToubhansCR14, added-at = {2017-05-24T00:00:00.000+0200}, author = {Toubhans, Antoine and Chang, Bor-Yuh Evan and Rival, Xavier}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d7a63a8d8fa279806d60e9cddc4bcff3/dblp}, booktitle = {SAS}, crossref = {conf/sas/2014}, editor = {Müller-Olm, Markus and Seidl, Helmut}, ee = {https://doi.org/10.1007/978-3-319-10936-7_18}, interhash = {7ed962b86664ff06872f77fe250cb442}, intrahash = {d7a63a8d8fa279806d60e9cddc4bcff3}, isbn = {978-3-319-10935-0}, keywords = {dblp}, pages = {285-301}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:58:06.000+0200}, title = {An Abstract Domain Combinator for Separately Conjoining Memory Abstractions.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2014.html#ToubhansCR14}, volume = 8723, year = 2014 }