Toward a Formal Specification of Menu-based Systems

TR Number

TR-86-04

Date

1986

Journal Title

Journal ISSN

Volume Title

Publisher

Department of Computer Science, Virginia Polytechnic Institute & State University

Abstract

Description

Keywords

Citation