Radoslaw Klimek. Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach. In Joaquim Filipe, Leszek A. Maciaszek, editors, ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012. pages 105-114, SciTePress, 2012.
@inproceedings{Klimek12-0,
title = {Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach},
author = {Radoslaw Klimek},
year = {2012},
researchr = {https://researchr.org/publication/Klimek12-0},
cites = {0},
citedby = {0},
pages = {105-114},
booktitle = {ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012},
editor = {Joaquim Filipe and Leszek A. Maciaszek},
publisher = {SciTePress},
isbn = {978-989-8565-13-6},
}