@article{6c19RG8AAAAJ:ns9cj8rnVeAC,
 URL = {https://journals.sagepub.com/doi/abs/10.1177/1541931213601664},
 author = {Matthew L Bolton},
 journal = {Proceedings of the human factors and ergonomics society annual meeting},
 title = {Novel developments in formal methods for human factors engineering},
 year = {2017}
}

{"_id":"2NpB28zN25xEhhqh3","bibbaseid":"bolton-noveldevelopmentsinformalmethodsforhumanfactorsengineering-2017","author_short":["Bolton, M. L"],"bibdata":{"bibtype":"article","type":"article","url":"https://journals.sagepub.com/doi/abs/10.1177/1541931213601664","author":[{"firstnames":["Matthew","L"],"propositions":[],"lastnames":["Bolton"],"suffixes":[]}],"journal":"Proceedings of the human factors and ergonomics society annual meeting","title":"Novel developments in formal methods for human factors engineering","year":"2017","bibtex":"@article{6c19RG8AAAAJ:ns9cj8rnVeAC,\n URL = {https://journals.sagepub.com/doi/abs/10.1177/1541931213601664},\n author = {Matthew L Bolton},\n journal = {Proceedings of the human factors and ergonomics society annual meeting},\n title = {Novel developments in formal methods for human factors engineering},\n year = {2017}\n}\n","author_short":["Bolton, M. L"],"key":"6c19RG8AAAAJ:ns9cj8rnVeAC","id":"6c19RG8AAAAJ:ns9cj8rnVeAC","bibbaseid":"bolton-noveldevelopmentsinformalmethodsforhumanfactorsengineering-2017","role":"author","urls":{"Paper":"https://journals.sagepub.com/doi/abs/10.1177/1541931213601664"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/Nu7vemBQmbYhdC97i/test.bib","dataSources":["YCBcQPneB9oxahSnp","YgvS53ZWNjFkrzNS4"],"keywords":[],"search_terms":["novel","developments","formal","methods","human","factors","engineering","bolton"],"title":"Novel developments in formal methods for human factors engineering","year":2017}