%0 Journal Article %1 journals/sosym/AlbertBGHPR16 %A Albert, Elvira %A Bubel, Richard %A Genaim, Samir %A Hähnle, Reiner %A Puebla, Germán %A Román-Díez, Guillermo %D 2016 %J Softw. Syst. Model. %K dblp %N 4 %P 987-1012 %T A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. %U http://dblp.uni-trier.de/db/journals/sosym/sosym15.html#AlbertBGHPR16 %V 15

@article{journals/sosym/AlbertBGHPR16, added-at = {2022-01-03T00:00:00.000+0100}, author = {Albert, Elvira and Bubel, Richard and Genaim, Samir and Hähnle, Reiner and Puebla, Germán and Román-Díez, Guillermo}, biburl = {https://www.bibsonomy.org/bibtex/29a6c83f1cc35bf47b609f7b1c1a2e0d0/dblp}, ee = {https://doi.org/10.1007/s10270-015-0476-y}, interhash = {e2ce266167b86b828e4489fe74e44c60}, intrahash = {9a6c83f1cc35bf47b609f7b1c1a2e0d0}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 4, pages = {987-1012}, timestamp = {2024-04-08T12:54:32.000+0200}, title = {A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym15.html#AlbertBGHPR16}, volume = 15, year = 2016 }