%0 Conference Paper %1 conf/ershov/NovikovZ17 %A Novikov, Evgeny %A Zakharov, Ilja S. %B Ershov Informatics Conference %D 2017 %E Petrenko, Alexander K. %E Voronkov, Andrei %I Springer %K dblp %P 402-416 %T Towards Automated Static Verification of GNU C Programs. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2017.html#NovikovZ17 %V 10742 %@ 978-3-319-74313-4

@inproceedings{conf/ershov/NovikovZ17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Novikov, Evgeny and Zakharov, Ilja S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ae28c3febc5acf2bc603e7d856c52015/dblp}, booktitle = {Ershov Informatics Conference}, crossref = {conf/ershov/2017}, editor = {Petrenko, Alexander K. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-319-74313-4_30}, interhash = {3c7d600798f25b7570e48f985a2320aa}, intrahash = {ae28c3febc5acf2bc603e7d856c52015}, isbn = {978-3-319-74313-4}, keywords = {dblp}, pages = {402-416}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:31:06.000+0200}, title = {Towards Automated Static Verification of GNU C Programs.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2017.html#NovikovZ17}, volume = 10742, year = 2017 }