%0 Journal Article %1 journals/sttt/Cleaveland01 %A Cleaveland, Rance %D 2001 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 247-249 %T Alternative Approaches to Symbolic Verification - Preface by the Section Editor. %U http://dblp.uni-trier.de/db/journals/sttt/sttt3.html#Cleaveland01 %V 3

@article{journals/sttt/Cleaveland01, added-at = {2020-04-02T00:00:00.000+0200}, author = {Cleaveland, Rance}, biburl = {https://www.bibsonomy.org/bibtex/2d03231bfa03608e885f4c392fab74e9d/dblp}, ee = {https://doi.org/10.1007/s100090100061}, interhash = {5e930535f32b86af94aeb5df5e13c9f7}, intrahash = {d03231bfa03608e885f4c392fab74e9d}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {247-249}, timestamp = {2020-04-03T11:54:30.000+0200}, title = {Alternative Approaches to Symbolic Verification - Preface by the Section Editor.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt3.html#Cleaveland01}, volume = 3, year = 2001 }