Juan Carlos Augusto
Model Checking and Theorem Proving-Based Verification of EIS
ICEIS, 2004.
@inproceedings{ICEIS-v1-2004-Augusto,
author = "Juan Carlos Augusto",
booktitle = "{Proceedings of the Sixth International Conference on Enterprise Information Systems, Volume 1}",
pages = "XXXIII-XXXIV",
title = "{Model Checking and Theorem Proving-Based Verification of EIS}",
year = 2004,
}