Second International Conference on Formal Engineering Methods: Proceedings 
Subtitle: December 9-11, 1998, Brisbane, Australia
Publisher: IEEE Computer Society Press
Published: 1998
Language: eng
Format: Unknown Binding
Number of pages: 235
ISBN-13: 9780818692000