%0 Journal Article %1 journals/expert/Allemang91 %A Allemang, Dean %D 1991 %J IEEE Expert %K dblp %N 6 %P 13-18 %T Using Functional Models in Automatic Debugging. %U http://dblp.uni-trier.de/db/journals/expert/expert6.html#Allemang91 %V 6

@article{journals/expert/Allemang91, added-at = {2015-09-09T00:00:00.000+0200}, author = {Allemang, Dean}, biburl = {https://www.bibsonomy.org/bibtex/2f92b8e21a7b58a2fd6432dc18a92370e/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/64.108947}, interhash = {cd692977f740eb56809f37d9003fa976}, intrahash = {f92b8e21a7b58a2fd6432dc18a92370e}, journal = {IEEE Expert}, keywords = {dblp}, number = 6, pages = {13-18}, timestamp = {2015-09-10T11:40:39.000+0200}, title = {Using Functional Models in Automatic Debugging.}, url = {http://dblp.uni-trier.de/db/journals/expert/expert6.html#Allemang91}, volume = 6, year = 1991 }