Title: 1st Irish Workshop on Formal Methods
First published: 1997
Subjects: Computer science, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA75.5 .I75 1997