Home
Dr. Prabhat Mishra
Publications
Prabhat Mishra
Anesthesiology
501-364-1100
1 Childrens Way
Little Rock, AR 72202
Save
Share
Last Updated: 09/26/2026
Save publications for later
Sign Up
Not sure about your diagnosis?
Check Your Symptoms
Found 1 publications
Filter
(0)
Formal verification of bioinformatics software using model checking and theorem proving.
Formal verification of bioinformatics software using model checking and theorem proving.
Journal:
Briefings in bioinformatics
Published:
December 05, 2024
VIEW PUBLICATION
Showing 1-1 of 1
Last Updated: 09/26/2026