Pascal André, Annya Romanczuk, Jean-Claude Royer. Checking the Consistency of UML Class Diagrams Using Larch Prover. In Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000. Workshops in Computing, BCS, 2000. [doi]
@inproceedings{AndreRR00,
title = {Checking the Consistency of UML Class Diagrams Using Larch Prover},
author = {Pascal André and Annya Romanczuk and Jean-Claude Royer},
year = {2000},
url = {http://ewic.bcs.org/conferences/2000/objectmethods/papers/paper1.htm},
tags = {UML, consistency, Pascal},
researchr = {https://researchr.org/publication/AndreRR00},
cites = {0},
citedby = {0},
booktitle = {Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000},
series = {Workshops in Computing},
publisher = {BCS},
}