%0 Journal Article %1 journals/fmsd/SharpR97 %A Sharp, Robin %A Rasmussen, Ole %D 1997 %J Formal Methods Syst. Des. %K dblp %N 3 %P 239-264 %T The T-Ruby Design System. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd11.html#SharpR97 %V 11

@article{journals/fmsd/SharpR97, added-at = {2020-03-13T00:00:00.000+0100}, author = {Sharp, Robin and Rasmussen, Ole}, biburl = {https://www.bibsonomy.org/bibtex/2067b9d59649d276057f38f2ed6684ad6/dblp}, ee = {https://doi.org/10.1023/A:1008603713967}, interhash = {019d993f885483c0cf682e25c013239e}, intrahash = {067b9d59649d276057f38f2ed6684ad6}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {239-264}, timestamp = {2020-03-14T11:51:24.000+0100}, title = {The T-Ruby Design System.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd11.html#SharpR97}, volume = 11, year = 1997 }