Title: 1st Irish Workshop on Formal Methods (Electronic Workshops in Computing)
First published: January 1997