Title :
The use of mathematics in software engineering
Author_Institution :
McMaster University
Keywords :
Mathematics; Programming; Software engineering;
Conference_Titel :
Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference on
Conference_Location :
York, England, UK
Print_ISBN :
0-7695-0822-7
DOI :
10.1109/ICFEM.2000.873799