%0 Journal Article %1 journals/entcs/BezerraCRC16 %A Bezerra, Jonas Santos %A Costa, Andrei %A Ribeiro, Leila %A Cota, Érika F. %D 2016 %J Electron. Notes Theor. Comput. Sci. %K %P 31-50 %T Formal Verification of Health Assessment Tools: a Case Study. %U http://dblp.uni-trier.de/db/journals/entcs/entcs324.html#BezerraCRC16 %V 324

@article{journals/entcs/BezerraCRC16, added-at = {2023-12-13T02:50:55.000+0100}, author = {Bezerra, Jonas Santos and Costa, Andrei and Ribeiro, Leila and Cota, Érika F.}, biburl = {https://www.bibsonomy.org/bibtex/2e049b1b9ed0caa7b76ecccd5affa6709/admin}, ee = {https://doi.org/10.1016/j.entcs.2016.09.005}, interhash = {84624b14928495a265a68b0075e083cc}, intrahash = {e049b1b9ed0caa7b76ecccd5affa6709}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {31-50}, timestamp = {2023-12-13T02:50:55.000+0100}, title = {Formal Verification of Health Assessment Tools: a Case Study.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs324.html#BezerraCRC16}, volume = 324, year = 2016 }