Title: Formal description techniques, II
First published: 1990
Subjects: Congresses, Computer programming, Formal language
LC classification: QA76.6 .I1778 1989