Formal Specifications And Command Modeling In Software Systems With A Complex Command Structure.

Michael V. Mannino, Injun Choi, Sukumar Rathnam

Browse the full ICIS paper archive.