%0 Journal Article %1 journals/tse/Finney96 %A Finney, Kate %D 1996 %J IEEE Trans. Software Eng. %K dblp %N 2 %P 158-159 %T Mathematical Notation in Formal Specification: Too Difficult for the Masses? %U http://dblp.uni-trier.de/db/journals/tse/tse22.html#Finney96 %V 22

@article{journals/tse/Finney96, added-at = {2015-12-10T00:00:00.000+0100}, author = {Finney, Kate}, biburl = {https://www.bibsonomy.org/bibtex/2ee4f18af89cc0597528effdd101018ce/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.485225}, interhash = {41cb39269583df33f6c74388d0908146}, intrahash = {ee4f18af89cc0597528effdd101018ce}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 2, pages = {158-159}, timestamp = {2015-12-12T11:55:27.000+0100}, title = {Mathematical Notation in Formal Specification: Too Difficult for the Masses?}, url = {http://dblp.uni-trier.de/db/journals/tse/tse22.html#Finney96}, volume = 22, year = 1996 }