An avenue for exploitation and development of verification technology.

Richard J. Feiertag Thomas A. Berson

Published in: ACM SIGSOFT Softw. Eng. Notes (1981)

Keyphrases

core components
case study
knowledge management
face verification
formal verification
data processing
development process
personal computer
mobile technologies
technical issues
technical aspects