Title: Formal description techniques
First published: 1989
Subjects: Congresses, Electronic digital computers, Programming, Formal languages
LC classification: QA76.6 .I545 1988, QA76.6 .I545 1988