%0 Journal Article %1 journals/tosem/SnookB06 %A Snook, Colin F. %A Butler, Michael J. %D 2006 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 1 %P 92-122 %T UML-B: Formal modeling and design aided by UML. %U http://dblp.uni-trier.de/db/journals/tosem/tosem15.html#SnookB06 %V 15

@article{journals/tosem/SnookB06, added-at = {2022-01-03T00:00:00.000+0100}, author = {Snook, Colin F. and Butler, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/2d6132601eae7af16c7ef7e1c70def20c/dblp}, ee = {https://doi.org/10.1145/1125808.1125811}, interhash = {a9d7b9606b01124f7aa3ab97e3fb2489}, intrahash = {d6132601eae7af16c7ef7e1c70def20c}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 1, pages = {92-122}, timestamp = {2024-04-09T02:03:14.000+0200}, title = {UML-B: Formal modeling and design aided by UML.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem15.html#SnookB06}, volume = 15, year = 2006 }