10.1007_978-3-030-17465-1_22-citation.bib
Framework for C/C++", booktitle="Tools and Algorithms for the Construction and Analysis of Systems", year="2019", publisher="Springer International Publishing", address="Cham", pages="393--410", abstract="Static …
bib, 2 KB