Dolors Costal, Antoni Olivé
A Method for Reasoning About Deductive Conceptual Models of Information Systems
CAiSE, 1992.
@inproceedings{CAiSE-1992-CostalO, author = "Dolors Costal and Antoni Olivé", booktitle = "{Proceedings of the Fourth Conference on Advanced Information Systems Engineering}", doi = "10.1007/BFb0035156", isbn = "3-540-55481-5", pages = "612--631", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Method for Reasoning About Deductive Conceptual Models of Information Systems}", volume = 593, year = 1992, }