%0 Conference Paper %1 conf/ershov/GrinevichKKMPR06 %A Grinevich, Alexey %A Khoroshilov, Alexey V. %A Kuliamin, Victor V. %A Markovtsev, Denis %A Petrenko, Alexandre %A Rubanov, Vladimir V. %B Ershov Memorial Conference %D 2006 %E Virbitskaite, Irina B. %E Voronkov, Andrei %I Springer %K dblp %P 456-466 %T Formal Methods in Industrial Software Standards Enforcement. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2006.html#GrinevichKKMPR06 %V 4378 %@ 978-3-540-70880-3

@inproceedings{conf/ershov/GrinevichKKMPR06, added-at = {2017-05-21T00:00:00.000+0200}, author = {Grinevich, Alexey and Khoroshilov, Alexey V. and Kuliamin, Victor V. and Markovtsev, Denis and Petrenko, Alexandre and Rubanov, Vladimir V.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/211b07a605cf3e30a2e4850dcc7c25baa/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2006}, editor = {Virbitskaite, Irina B. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-540-70881-0_41}, interhash = {af5acf06b150c1a622ceda90afeb1cda}, intrahash = {11b07a605cf3e30a2e4850dcc7c25baa}, isbn = {978-3-540-70880-3}, keywords = {dblp}, pages = {456-466}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-09T07:50:21.000+0100}, title = {Formal Methods in Industrial Software Standards Enforcement.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2006.html#GrinevichKKMPR06}, volume = 4378, year = 2006 }