@INPROCEEDINGS{,
author = {},
booktitle = {Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering(RE)},
title = {Calculating with Requirements},
year = {1997},
volume = {00},
number = {},
pages = {144},
keywords={},
doi = {10.1109/RE.1997.10005},
url = {doi.ieeecomputersociety.org/10.1109/RE.1997.10005},
ISSN = {1090-705X},
month={01}
}