%0 Conference Paper %1 conf/ecoop/JacobsBK15 %A Jacobs, Bart %A Bosnacki, Dragan %A Kuiper, Ruurd %B ECOOP %D 2015 %E Boyland, John Tang %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 664-688 %T Modular Termination Verification. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2015.html#JacobsBK15 %V 37 %@ 978-3-939897-86-6

@inproceedings{conf/ecoop/JacobsBK15, added-at = {2023-11-21T00:00:00.000+0100}, author = {Jacobs, Bart and Bosnacki, Dragan and Kuiper, Ruurd}, biburl = {https://www.bibsonomy.org/bibtex/2484e8b9b8ac2ef89a15e0a1bb4f4908d/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2015}, editor = {Boyland, John Tang}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.664}, interhash = {f159296927862a65d297a1dadfafcdec}, intrahash = {484e8b9b8ac2ef89a15e0a1bb4f4908d}, isbn = {978-3-939897-86-6}, keywords = {dblp}, pages = {664-688}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T16:02:36.000+0200}, title = {Modular Termination Verification.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2015.html#JacobsBK15}, volume = 37, year = 2015 }