%0 Conference Paper %1 conf/sbcars/MeloB13 %A de Carvalho Melo, Jean Carlos %A Borba, Paulo %B SBCARS %D 2013 %I IEEE Computer Society %K dblp %P 11-19 %T Improving Modular Reasoning on Preprocessor-Based Systems. %U http://dblp.uni-trier.de/db/conf/sbcars/sbcars2013.html#MeloB13 %@ 978-1-4799-2531-5

@inproceedings{conf/sbcars/MeloB13, added-at = {2023-03-23T00:00:00.000+0100}, author = {de Carvalho Melo, Jean Carlos and Borba, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2effc832511e4a33c7bbc72ec536a3d51/dblp}, booktitle = {SBCARS}, crossref = {conf/sbcars/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/SBCARS.2013.12}, interhash = {e65c76dfcdafbf5057c10acdbbc00a0a}, intrahash = {effc832511e4a33c7bbc72ec536a3d51}, isbn = {978-1-4799-2531-5}, keywords = {dblp}, pages = {11-19}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:06:20.000+0200}, title = {Improving Modular Reasoning on Preprocessor-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/sbcars/sbcars2013.html#MeloB13}, year = 2013 }