Title :
Formal methods for requirements engineering
Author_Institution :
The University of Wollongong
Keywords :
Mathematics; Software systems;
Conference_Titel :
Multimedia Software Engineering, 2000. Proceedings. International Symposium on
Conference_Location :
Taipei, Taiwan
Print_ISBN :
0-7695-0933-9
DOI :
10.1109/MMSE.2000.897184
