Soon-Kyeong Kim, David A. Carrington. An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. In 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore. pages 240-248, IEEE Computer Society, 2000. [doi]
@inproceedings{KimC00:8, title = {An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study}, author = {Soon-Kyeong Kim and David A. Carrington}, year = {2000}, url = {http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150240abs.htm}, tags = {case study, UML}, researchr = {https://researchr.org/publication/KimC00%3A8}, cites = {0}, citedby = {0}, pages = {240-248}, booktitle = {7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore}, publisher = {IEEE Computer Society}, isbn = {0-7695-0915-0}, }