Lee, Jonathan <br/><br/>
Verifying task-based specifications in conceptual graphs 

<br/><br/>A conceptual model is a model of real world concepts and application domains as perceived by users and developers 
<br/><br/><label>Subjects--Topical Terms: </label><br/>VERIFICATION<br/>CONCEPTUAL MODEL<br/>TASK-BASED SPECIFICATIONS<br/>CONCEPTUAL GRAPHS
<br/><br/><label>Universal Decimal Class. No.: </label>H004.41 INF