%0 Conference Paper %1 conf/sefm/Klimek13 %A Klimek, Radoslaw %B SEFM %D 2013 %E Hierons, Robert M. %E Merayo, Mercedes G. %E Bravetti, Mario %I Springer %K dblp %P 61-75 %T From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2013.html#Klimek13 %V 8137 %@ 978-3-642-40560-0

@inproceedings{conf/sefm/Klimek13, added-at = {2021-04-09T00:00:00.000+0200}, author = {Klimek, Radoslaw}, biburl = {https://www.bibsonomy.org/bibtex/274a083762fd8a4248fda86384f3f8464/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2013}, editor = {Hierons, Robert M. and Merayo, Mercedes G. and Bravetti, Mario}, ee = {https://doi.org/10.1007/978-3-642-40561-7_5}, interhash = {745428bab9f7e0bddd404d4d2eaac0cd}, intrahash = {74a083762fd8a4248fda86384f3f8464}, isbn = {978-3-642-40560-0}, keywords = {dblp}, pages = {61-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:21:35.000+0200}, title = {From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2013.html#Klimek13}, volume = 8137, year = 2013 }