TY  - SER
AU  - Lee, Jonathan
AU  - Lai, Lein F.
TI  - Verifying task-based specifications in conceptual graphs
KW  - VERIFICATION
KW  - CONCEPTUAL MODEL
KW  - TASK-BASED SPECIFICATIONS
KW  - CONCEPTUAL GRAPHS
N1  - A conceptual model is a model of real world concepts and application domains as perceived by users and developers
ER  -