Aditya Ghose. Formal Methods for Requirements Engineering. In 2000 International Symposium on Multimedia Software Engineering (ISMSE 2000), 11-13 December 2000, Taipei, Taiwan. pages 13-16, IEEE Computer Society, 2000. [doi]
@inproceedings{Ghose00:1,
title = {Formal Methods for Requirements Engineering},
author = {Aditya Ghose},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/mse/2000/0933/00/09330013.pdf},
tags = {requirements engineering},
researchr = {https://researchr.org/publication/Ghose00%3A1},
cites = {0},
citedby = {0},
pages = {13-16},
booktitle = {2000 International Symposium on Multimedia Software Engineering (ISMSE 2000), 11-13 December 2000, Taipei, Taiwan},
publisher = {IEEE Computer Society},
isbn = {0-7695-0933-9},
}