Weerasena, H., Jayasena, A., Boucher, C. und Mishra, P. (2025) „Formal verification of bioinformatics software using model checking and theorem proving.“, Briefings in Bioinformatics, 26(4), S. 1-13. doi:10.1093/bib/bbaf383.
Chicago Manual of Style 17th edition (full note)Weerasena, Hansika, Aruna Jayasena, Christina Boucher, und Prabhat Mishra. „Formal Verification of Bioinformatics Software Using Model Checking and Theorem Proving.“. Briefings in Bioinformatics 26, Nr. 4 (1. Juli 2025): 1-13. https://doi.org/10.1093/bib/bbaf383.
American Psychological Association 7th editionWeerasena, H., Jayasena, A., Boucher, C., & Mishra, P. (2025). Formal verification of bioinformatics software using model checking and theorem proving. Briefings in Bioinformatics, 26(4), 1-13. https://doi.org/10.1093/bib/bbaf383
Modern Language Association 9th editionWeerasena, H., A. Jayasena, C. Boucher, und P. Mishra. „Formal Verification of Bioinformatics Software Using Model Checking and Theorem Proving.“. Briefings in Bioinformatics, Bd. 26, Nr. 4, Juli 2025, S. 1-13, https://doi.org/10.1093/bib/bbaf383.
ISO-690 (author-date, Deutsch)WEERASENA, Hansika, Aruna JAYASENA, Christina BOUCHER und Prabhat MISHRA, 2025. Formal verification of bioinformatics software using model checking and theorem proving. Briefings in Bioinformatics. 1 Juli 2025. Bd. 26, Nr. 4, S. 1-13. DOI 10.1093/bib/bbaf383