Design and verification of information systems.
Published: 1983
Language: eng
Number of pages: 163