"Towards Verifying UML Class Diagram and Formalizing ..."

Kruti Shah, Emanuel S. Grant (2022)

Details and statistics

DOI: 10.17706/JSW.17.6.292-303

access: closed

type: Journal Article

metadata version: 2022-12-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics