Edwin Mit. Developing VDM++ operations from UML diagrams. PhD thesis, University of Salford, City of Salford, UK, 2008. [doi]
@phdthesis{ethos-3917, title = {Developing VDM++ operations from UML diagrams}, author = {Edwin Mit}, year = {2008}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490459}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-3917}, cites = {0}, citedby = {0}, school = {University of Salford, City of Salford, UK}, }