Title: Formal methods Pacific '97
First published: 1997
Subjects: Congresses, Development, Computer engineering, System design, Computer organization, Computer software
LC classification: QA76.9.C643 F67 1997