Towards the Mechanized Semantics and Refinement of UML Class Diagrams.

Feng Sheng, Huibiao Zhu, Zongyuan Yang

Browse the full APSEC paper archive.