%0 Journal Article %1 snook_06_uml-b %A Snook, Colin %A Butler, Michael %C New York, NY, USA %D 2006 %I ACM Press %J ACM Trans. Softw. Eng. Methodol. %K 2006 b uml %N 1 %P 92--122 %R 10.1145/1125808.1125811 %T UML-B: Formal modeling and design aided by UML %U http://dx.doi.org/10.1145/1125808.1125811 %V 15

@article{snook_06_uml-b, added-at = {2009-02-11T20:59:04.000+0100}, address = {New York, NY, USA}, author = {Snook, Colin and Butler, Michael}, biburl = {https://www.bibsonomy.org/bibtex/28b9c1a31073032370f9c46c0ac88ce31/leonardo}, citeulike-article-id = {784999}, doi = {10.1145/1125808.1125811}, interhash = {a9d7b9606b01124f7aa3ab97e3fb2489}, intrahash = {8b9c1a31073032370f9c46c0ac88ce31}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {2006 b uml}, month = {January}, number = 1, pages = {92--122}, posted-at = {2006-08-03 20:38:38}, priority = {2}, publisher = {ACM Press}, timestamp = {2009-02-11T20:59:04.000+0100}, title = {UML-B: Formal modeling and design aided by UML}, url = {http://dx.doi.org/10.1145/1125808.1125811}, volume = 15, year = 2006 }