Generation of correctness conditions for imperative programs. Shilov, N. V., Anureev, I. S., & Bodin, E. V. Programming and Computer Software, 34(6):307-321, 2008. Link Paper bibtex @article{journals/pcs/ShilovAB08,
added-at = {2016-01-28T00:00:00.000+0100},
author = {Shilov, Nikolay V. and Anureev, Igor S. and Bodin, Evgeny V.},
biburl = {http://www.bibsonomy.org/bibtex/2c05d0d316710d556d98c76d426a39e6b/dblp},
ee = {http://dx.doi.org/10.1134/S0361768808060029},
interhash = {40810d56c750075206f1c62ceea741d7},
intrahash = {c05d0d316710d556d98c76d426a39e6b},
journal = {Programming and Computer Software},
keywords = {dblp},
number = 6,
pages = {307-321},
timestamp = {2016-01-29T11:35:41.000+0100},
title = {Generation of correctness conditions for imperative programs.},
url = {http://dblp.uni-trier.de/db/journals/pcs/pcs34.html#ShilovAB08},
volume = 34,
year = 2008
}
Downloads: 0
{"_id":"7DuRy8j2iZ4AsNea8","bibbaseid":"shilov-anureev-bodin-generationofcorrectnessconditionsforimperativeprograms-2008","downloads":0,"creationDate":"2016-02-09T06:01:06.482Z","title":"Generation of correctness conditions for imperative programs.","author_short":["Shilov, N. V.","Anureev, I. S.","Bodin, E. V."],"year":2008,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Krishnakumar, V?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2016-01-28T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Shilov"],"firstnames":["Nikolay","V."],"suffixes":[]},{"propositions":[],"lastnames":["Anureev"],"firstnames":["Igor","S."],"suffixes":[]},{"propositions":[],"lastnames":["Bodin"],"firstnames":["Evgeny","V."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2c05d0d316710d556d98c76d426a39e6b/dblp","ee":"http://dx.doi.org/10.1134/S0361768808060029","interhash":"40810d56c750075206f1c62ceea741d7","intrahash":"c05d0d316710d556d98c76d426a39e6b","journal":"Programming and Computer Software","keywords":"dblp","number":"6","pages":"307-321","timestamp":"2016-01-29T11:35:41.000+0100","title":"Generation of correctness conditions for imperative programs.","url":"http://dblp.uni-trier.de/db/journals/pcs/pcs34.html#ShilovAB08","volume":"34","year":"2008","bibtex":"@article{journals/pcs/ShilovAB08,\n added-at = {2016-01-28T00:00:00.000+0100},\n author = {Shilov, Nikolay V. and Anureev, Igor S. and Bodin, Evgeny V.},\n biburl = {http://www.bibsonomy.org/bibtex/2c05d0d316710d556d98c76d426a39e6b/dblp},\n ee = {http://dx.doi.org/10.1134/S0361768808060029},\n interhash = {40810d56c750075206f1c62ceea741d7},\n intrahash = {c05d0d316710d556d98c76d426a39e6b},\n journal = {Programming and Computer Software},\n keywords = {dblp},\n number = 6,\n pages = {307-321},\n timestamp = {2016-01-29T11:35:41.000+0100},\n title = {Generation of correctness conditions for imperative programs.},\n url = {http://dblp.uni-trier.de/db/journals/pcs/pcs34.html#ShilovAB08},\n volume = 34,\n year = 2008\n}\n\n","author_short":["Shilov, N. V.","Anureev, I. S.","Bodin, E. V."],"key":"journals/pcs/ShilovAB08","id":"journals/pcs/ShilovAB08","bibbaseid":"shilov-anureev-bodin-generationofcorrectnessconditionsforimperativeprograms-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.1134/S0361768808060029","Paper":"http://dblp.uni-trier.de/db/journals/pcs/pcs34.html#ShilovAB08"},"keyword":["dblp"],"downloads":0},"search_terms":["generation","correctness","conditions","imperative","programs","shilov","anureev","bodin"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcwuM7Zzcbynrts5v"]}