Integrating Use of VDM and Z.

Mei Wai Au Chan H. Lee

Published in: Software Engineering Education (1993)

Keyphrases

object detection
information retrieval
database systems
multi agent systems
preprocessing
management system