María Virginia Mauco, Daniel Riesco. Integrating Requirements Engineering Techniques and Formal Methods. In Mehdi Khosrow-Pour, editor, Encyclopedia of Information Science and Technology (5 Volumes). pages 1555-1559, Idea Group, 2005.
@incollection{MaucoR05,
title = {Integrating Requirements Engineering Techniques and Formal Methods},
author = {María Virginia Mauco and Daniel Riesco},
year = {2005},
tags = {requirements engineering},
researchr = {https://researchr.org/publication/MaucoR05},
cites = {0},
citedby = {0},
pages = {1555-1559},
booktitle = {Encyclopedia of Information Science and Technology (5 Volumes)},
editor = {Mehdi Khosrow-Pour},
publisher = {Idea Group},
isbn = {1-59140-553-X},
}