%0 Journal Article %1 journals/jbcs/JuniorS98 %A Araújo, João %A Sawyer, Peter %D 1998 %J J. Braz. Comp. Soc. %K dblp %N 1 %T Integrating Object-Oriented Analysis and Formal Specification. %U http://dblp.uni-trier.de/db/journals/jbcs/jbcs5.html#JuniorS98 %V 5

@article{journals/jbcs/JuniorS98, added-at = {2012-12-04T00:00:00.000+0100}, author = {Araújo, João and Sawyer, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2de0b883630715576ad610855d6cc0a48/dblp}, interhash = {8187c93fe627791b3069a76f9bd69756}, intrahash = {de0b883630715576ad610855d6cc0a48}, journal = {J. Braz. Comp. Soc.}, keywords = {dblp}, number = 1, timestamp = {2012-12-05T11:37:47.000+0100}, title = {Integrating Object-Oriented Analysis and Formal Specification.}, url = {http://dblp.uni-trier.de/db/journals/jbcs/jbcs5.html#JuniorS98}, volume = 5, year = 1998 }