%0 Conference Paper %1 conf/lopstr/JurjoMLH23 %A Jurjo, Daniel %A Morales, José F. %A López-García, Pedro %A Hermenegildo, Manuel V. %B LOPSTR %D 2023 %E Glück, Robert %E Kafle, Bishoksan %I Springer %K dblp %P 80-98 %T A Rule-Based Approach for Designing and Composing Abstract Domains. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2023.html#JurjoMLH23 %V 14330 %@ 978-3-031-45784-5

@inproceedings{conf/lopstr/JurjoMLH23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Jurjo, Daniel and Morales, José F. and López-García, Pedro and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/294768bc6700c80dcf7ba0c0e1ea14961/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2023}, editor = {Glück, Robert and Kafle, Bishoksan}, ee = {https://doi.org/10.1007/978-3-031-45784-5_6}, interhash = {0436bf1e8450fe01245e9b199d9ae713}, intrahash = {94768bc6700c80dcf7ba0c0e1ea14961}, isbn = {978-3-031-45784-5}, keywords = {dblp}, pages = {80-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:13:13.000+0200}, title = {A Rule-Based Approach for Designing and Composing Abstract Domains.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2023.html#JurjoMLH23}, volume = 14330, year = 2023 }