Verifying task-based specifications in conceptual graphs.

Journal

Information & Software Technology

Journal Volume

39

Journal Issue

14-15

Pages

913-923

Date Issued

1998

Author(s)

Lee, Jonathan

Lai, Lein F.

DOI

10.1016/S0950-5849(97)00054-2

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/488797

URL

https://doi.org/10.1016/S0950-5849(97)00054-2

Type

journal article