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.