Formal Modeling of Complex Commands in Industrial Software Specifications

Michael V. Mannino, Sukumar Rathnam, Injun Choi, Veronica P. Tseng. Formal Modeling of Complex Commands in Industrial Software Specifications. Information Systems Research, 5(3):249-274, 1994. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: