%0 Journal Article %1 journals/tse/RushbyH93 %A Rushby, John M. %A von Henke, Friedrich W. %D 1993 %J IEEE Trans. Software Eng. %K dblp %N 1 %P 13-23 %T Formal Verification of Algorithms for Critical Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse19.html#RushbyH93 %V 19

@article{journals/tse/RushbyH93, added-at = {2015-12-10T00:00:00.000+0100}, author = {Rushby, John M. and von Henke, Friedrich W.}, biburl = {https://www.bibsonomy.org/bibtex/2d9208316968fe7a76d03e1e25b47ea5e/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.210304}, interhash = {9a1bf16de928cf55df0f5c582dfe1b24}, intrahash = {d9208316968fe7a76d03e1e25b47ea5e}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 1, pages = {13-23}, timestamp = {2015-12-12T11:47:15.000+0100}, title = {Formal Verification of Algorithms for Critical Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse19.html#RushbyH93}, volume = 19, year = 1993 }