Title: 2nd BCS-FACS Northern Formal Methods Workshop
First published: 1998
Subjects: Congresses, Development, Real-time data processing, Computer science, Computer software