%0 Journal Article %1 journals/afp/UllrichL16 %A Ullrich, Sebastian %A Lohner, Denis %D 2016 %J Arch. Formal Proofs %K dblp %T Verified Construction of Static Single Assignment Form. %U http://dblp.uni-trier.de/db/journals/afp/afp2016.html#UllrichL16 %V 2016

@article{journals/afp/UllrichL16, added-at = {2020-05-25T00:00:00.000+0200}, author = {Ullrich, Sebastian and Lohner, Denis}, biburl = {https://www.bibsonomy.org/bibtex/2816cb7b03f6ab82b83e05840af2b0a78/dblp}, ee = {https://www.isa-afp.org/entries/Formal_SSA.shtml}, interhash = {10d5bddbb19c4fbe336102ed7f54f7c3}, intrahash = {816cb7b03f6ab82b83e05840af2b0a78}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2020-05-26T11:50:12.000+0200}, title = {Verified Construction of Static Single Assignment Form.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2016.html#UllrichL16}, volume = 2016, year = 2016 }