%0 Journal Article %1 journals/tse/BerzinsG85 %A Berzins, Valdis %A Gray, Michael %D 1985 %J IEEE Trans. Software Eng. %K dblp %N 8 %P 657-670 %T Analysis and Design in MSG.84: Formalizing Functional Specifications. %U http://dblp.uni-trier.de/db/journals/tse/tse11.html#BerzinsG85 %V 11

@article{journals/tse/BerzinsG85, added-at = {2015-12-10T00:00:00.000+0100}, author = {Berzins, Valdis and Gray, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2b0e3139e0c9a85391b2bf11c3202a325/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232516}, interhash = {c349ec350c3cc81039d542ef1614700c}, intrahash = {b0e3139e0c9a85391b2bf11c3202a325}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 8, pages = {657-670}, timestamp = {2015-12-12T11:50:41.000+0100}, title = {Analysis and Design in MSG.84: Formalizing Functional Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse11.html#BerzinsG85}, volume = 11, year = 1985 }