DocumentCode

2801083

Title

Formal methods for requirements engineering

Author

Ghose, Aditya

Author_Institution

The University of Wollongong

fYear

2000

fDate

11-13 Dec. 2000

Firstpage

13

Lastpage

13

Keywords

Mathematics; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Multimedia Software Engineering, 2000. Proceedings. International Symposium on

Conference_Location

Taipei, Taiwan

Print_ISBN

0-7695-0933-9

Type

conf

DOI

10.1109/MMSE.2000.897184

Filename

897184