Jonathan Lee, Lein F. Lai, Wei T. Huang. A Task-Based Approach to Verifying Conceptual Models. In COMPSAC 96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea. pages 132-137, IEEE Computer Society, 1996. [doi]
@inproceedings{LeeLH96,
title = {A Task-Based Approach to Verifying Conceptual Models},
author = {Jonathan Lee and Lein F. Lai and Wei T. Huang},
year = {1996},
url = {http://computer.org/proceedings/compsac/7579/75790132abs.htm},
tags = {rule-based, systematic-approach},
researchr = {https://researchr.org/publication/LeeLH96},
cites = {0},
citedby = {0},
pages = {132-137},
booktitle = {COMPSAC 96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea},
publisher = {IEEE Computer Society},
}