@article{419,
  author = {Giovanna Camacho and Matthew Bolton and Jinghui Peng and Perry Wagle},
  title = {A Formal Method for the Analysis of the Veteran’s Ebenefits’ Website},
  year = {2023},
  journal = {AHFE international},
  url = {https://doi.org/10.54941/ahfe1003779}
}

{"_id":"be4w3ppXxwxmKcTpu","bibbaseid":"camacho-bolton-peng-wagle-aformalmethodfortheanalysisoftheveteransebenefitswebsite-2023","author_short":["Camacho, G.","Bolton, M.","Peng, J.","Wagle, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Giovanna"],"propositions":[],"lastnames":["Camacho"],"suffixes":[]},{"firstnames":["Matthew"],"propositions":[],"lastnames":["Bolton"],"suffixes":[]},{"firstnames":["Jinghui"],"propositions":[],"lastnames":["Peng"],"suffixes":[]},{"firstnames":["Perry"],"propositions":[],"lastnames":["Wagle"],"suffixes":[]}],"title":"A Formal Method for the Analysis of the Veteran’s Ebenefits’ Website","year":"2023","journal":"AHFE international","url":"https://doi.org/10.54941/ahfe1003779","bibtex":"@article{419,\n author = {Giovanna Camacho and Matthew Bolton and Jinghui Peng and Perry Wagle},\n title = {A Formal Method for the Analysis of the Veteran’s Ebenefits’ Website},\n year = {2023},\n journal = {AHFE international},\n url = {https://doi.org/10.54941/ahfe1003779}\n}\n\n","author_short":["Camacho, G.","Bolton, M.","Peng, J.","Wagle, P."],"key":"419","id":"419","bibbaseid":"camacho-bolton-peng-wagle-aformalmethodfortheanalysisoftheveteransebenefitswebsite-2023","role":"author","urls":{"Paper":"https://doi.org/10.54941/ahfe1003779"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/fFERMKNwKyHLsDPJ3/Link_Lab_Publications.bib","dataSources":["mwAui9iKniQyhTc49","RbCkvcfqfbgtxTyNT","PbrtYBE4kqkc5ZtpJ"],"keywords":[],"search_terms":["formal","method","analysis","veteran","ebenefits","website","camacho","bolton","peng","wagle"],"title":"A Formal Method for the Analysis of the Veteran’s Ebenefits’ Website","year":2023}