Prabhat Mishra
1PUBLICATIONS
3CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Aug 03, 2025
Formal verification of bioinformatics software using model checking and theorem proving.Hansika Weerasena, Aruna Jayasena, Christina Boucher
Pageof 1
