%0 Conference Paper %1 conf/iccsa/SantosJF17 %A dos Santos, Luciana Brasil Rebelo %A de Santiago Júnior, Valdivino Alexandre %A Freitas, Albino Vieira %B ICCSA (5) %D 2017 %E Gervasi, Osvaldo %E Murgante, Beniamino %E Misra, Sanjay %E Borruso, Giuseppe %E Torre, Carmelo Maria %E Rocha, Ana Maria A. C. %E Taniar, David %E Apduhan, Bernady O. %E Stankova, Elena N. %E Cuzzocrea, Alfredo %I Springer %K dblp %P 591-606 %T A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections. %U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2017-5.html#SantosJF17 %V 10408 %@ 978-3-319-62404-4

@inproceedings{conf/iccsa/SantosJF17, added-at = {2020-09-05T00:00:00.000+0200}, author = {dos Santos, Luciana Brasil Rebelo and de Santiago Júnior, Valdivino Alexandre and Freitas, Albino Vieira}, biburl = {https://www.bibsonomy.org/bibtex/2df524472b1c17058ca33720fa1770a8a/dblp}, booktitle = {ICCSA (5)}, crossref = {conf/iccsa/2017-5}, editor = {Gervasi, Osvaldo and Murgante, Beniamino and Misra, Sanjay and Borruso, Giuseppe and Torre, Carmelo Maria and Rocha, Ana Maria A. C. and Taniar, David and Apduhan, Bernady O. and Stankova, Elena N. and Cuzzocrea, Alfredo}, ee = {https://doi.org/10.1007/978-3-319-62404-4_44}, interhash = {9fd80dd2fd3632aa8aaa375b875ae564}, intrahash = {df524472b1c17058ca33720fa1770a8a}, isbn = {978-3-319-62404-4}, keywords = {dblp}, pages = {591-606}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T14:05:21.000+0200}, title = {A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections.}, url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2017-5.html#SantosJF17}, volume = 10408, year = 2017 }