Title: Formal description techniques, IV
First published: 1992
Subjects: Congresses, Computer programming, Formal languages
LC classification: QA76.6 .I5315 1991