%0 Conference Paper %1 conf/wcre/NairJNH15 %A Nair, Sreeja %A Jetley, Raoul %A Nair, Anil R. %A Hauck-Stattelmann, Stefan %B SANER %D 2015 %E Guéhéneuc, Yann-Gaël %E Adams, Bram %E Serebrenik, Alexander %I IEEE Computer Society %K dblp %P 459-463 %T A static code analysis tool for control system software. %U http://dblp.uni-trier.de/db/conf/wcre/saner2015.html#NairJNH15 %@ 978-1-4799-8469-5

@inproceedings{conf/wcre/NairJNH15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Nair, Sreeja and Jetley, Raoul and Nair, Anil R. and Hauck-Stattelmann, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/22741f0e65acb820c5233abb5fb9d6390/dblp}, booktitle = {SANER}, crossref = {conf/wcre/2015}, editor = {Guéhéneuc, Yann-Gaël and Adams, Bram and Serebrenik, Alexander}, ee = {https://doi.ieeecomputersociety.org/10.1109/SANER.2015.7081856}, interhash = {a600bc2f686c823f6ae9e2cb9b79d999}, intrahash = {2741f0e65acb820c5233abb5fb9d6390}, isbn = {978-1-4799-8469-5}, keywords = {dblp}, pages = {459-463}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:37:21.000+0200}, title = {A static code analysis tool for control system software.}, url = {http://dblp.uni-trier.de/db/conf/wcre/saner2015.html#NairJNH15}, year = 2015 }