%0 Conference Paper %1 conf/sac/LeTN15 %A Le, Hong Anh %A Truong, Ninh-Thuan %A Nakajima, Shin %B SAC %D 2015 %E Wainwright, Roger L. %E Corchado, Juan Manuel %E Bechini, Alessio %E Hong, Jiman %I ACM %K dblp %P 1651-1653 %T Verifying eventuality properties of imprecise system requirements using event-B. %U http://dblp.uni-trier.de/db/conf/sac/sac2015.html#LeTN15 %@ 978-1-4503-3196-8

@inproceedings{conf/sac/LeTN15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Le, Hong Anh and Truong, Ninh-Thuan and Nakajima, Shin}, biburl = {https://www.bibsonomy.org/bibtex/2e35f1d6fa92b1ad3d994e01151b56c79/dblp}, booktitle = {SAC}, crossref = {conf/sac/2015}, editor = {Wainwright, Roger L. and Corchado, Juan Manuel and Bechini, Alessio and Hong, Jiman}, ee = {https://doi.org/10.1145/2695664.2696038}, interhash = {627a2ab5f65aff84c4314f619b31f3a1}, intrahash = {e35f1d6fa92b1ad3d994e01151b56c79}, isbn = {978-1-4503-3196-8}, keywords = {dblp}, pages = {1651-1653}, publisher = {ACM}, timestamp = {2024-04-10T21:20:13.000+0200}, title = {Verifying eventuality properties of imprecise system requirements using event-B.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2015.html#LeTN15}, year = 2015 }