%0 Conference Paper %1 conf/cade/LetichevskyKLPVW10 %A Letichevsky, Alexander A. %A Kolchin, Alexander %A Jr., Oleksandr Letychevskyy %A Potiyenko, Stepan %A Volkov, Vladislav A. %A Weigert, Thomas %B WING@ETAPS/IJCAR %D 2010 %E Voronkov, Andrei %E Kovács, Laura %E Bjørner, Nikolaj S. %I EasyChair %K dblp %P 148-149 %T Formal Requirements Capturing using VRS system. %U http://dblp.uni-trier.de/db/conf/cade/wing2010.html#LetichevskyKLPVW10 %V 1

@inproceedings{conf/cade/LetichevskyKLPVW10, added-at = {2022-10-02T00:00:00.000+0200}, author = {Letichevsky, Alexander A. and Kolchin, Alexander and Jr., Oleksandr Letychevskyy and Potiyenko, Stepan and Volkov, Vladislav A. and Weigert, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2702bf22566ce74f39a82890d0df6025e/dblp}, booktitle = {WING@ETAPS/IJCAR}, crossref = {conf/cade/2010wing}, editor = {Voronkov, Andrei and Kovács, Laura and Bjørner, Nikolaj S.}, ee = {https://doi.org/10.29007/q6mc}, interhash = {9f33d0c71e14f96e227d6973af7f8067}, intrahash = {702bf22566ce74f39a82890d0df6025e}, keywords = {dblp}, pages = {148-149}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:54:49.000+0200}, title = {Formal Requirements Capturing using VRS system.}, url = {http://dblp.uni-trier.de/db/conf/cade/wing2010.html#LetichevskyKLPVW10}, volume = 1, year = 2010 }