Kenro Yatake, Toshiaki Aoki, Takuya Katayama. Collaboration-based verification of Object-Oriented models in HOL. In Juan Carlos Augusto, Ulrich Ultes-Nitsche, editors, Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004. pages 78-80, INSTICC Press, 2004.
@inproceedings{YatakeAK04,
title = {Collaboration-based verification of Object-Oriented models in HOL},
author = {Kenro Yatake and Toshiaki Aoki and Takuya Katayama},
year = {2004},
tags = {rule-based, meta-model, object-role modeling, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/YatakeAK04},
cites = {0},
citedby = {0},
pages = {78-80},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004},
editor = {Juan Carlos Augusto and Ulrich Ultes-Nitsche},
publisher = {INSTICC Press},
isbn = {972-8865-03-1},
}