%0 Conference Paper %1 conf/ershov/MandrykinK17 %A Mandrykin, Mikhail U. %A Khoroshilov, Alexey V. %B Ershov Informatics Conference %D 2017 %E Petrenko, Alexander K. %E Voronkov, Andrei %I Springer %K dblp %P 256-275 %T A Memory Model for Deductively Verifying Linux Kernel Modules. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2017.html#MandrykinK17 %V 10742 %@ 978-3-319-74313-4

@inproceedings{conf/ershov/MandrykinK17, added-at = {2018-01-19T00:00:00.000+0100}, author = {Mandrykin, Mikhail U. and Khoroshilov, Alexey V.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c6411463397196af1b35463514f4ca52/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_19}, interhash = {bab9d52fdbd68a7178bef9a12a846224}, intrahash = {c6411463397196af1b35463514f4ca52}, isbn = {978-3-319-74313-4}, keywords = {dblp}, pages = {256-275}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:31:06.000+0200}, title = {A Memory Model for Deductively Verifying Linux Kernel Modules.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2017.html#MandrykinK17}, volume = 10742, year = 2017 }