A semantics-based method for requirements analysis and system design.

Max L. Wilson

Browse the full COMPSAC paper archive.