Toward a Formal Specification of Menu-Based Systems

TitleToward a Formal Specification of Menu-Based Systems
Publication TypeJournal Article
Year of Publication1987
AuthorsArthur, J. D.
JournalThe Journal of Systems and Software
Volume7
Issue9
Pagination73-82
Date Published1987