%0 Journal Article %1 journals/expert/Blackburn89 %A Blackburn, Mark R. %D 1989 %J IEEE Expert %K dblp %N 1 %P 62-74 %T Using Expert Systems to Construct Formal Specifications. %U http://dblp.uni-trier.de/db/journals/expert/expert4.html#Blackburn89 %V 4

@article{journals/expert/Blackburn89, added-at = {2015-09-10T00:00:00.000+0200}, author = {Blackburn, Mark R.}, biburl = {https://www.bibsonomy.org/bibtex/29b036943635dc6478b69aa3fc2f77a4e/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/64.21901}, interhash = {6dd8d2fa25130140cb82a815f3ee0a64}, intrahash = {9b036943635dc6478b69aa3fc2f77a4e}, journal = {IEEE Expert}, keywords = {dblp}, number = 1, pages = {62-74}, timestamp = {2015-09-11T11:42:06.000+0200}, title = {Using Expert Systems to Construct Formal Specifications.}, url = {http://dblp.uni-trier.de/db/journals/expert/expert4.html#Blackburn89}, volume = 4, year = 1989 }