Adnan Rashid
2PUBLICATIONS
2CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (2)
Sort by Publication Date:
|Apr 09, 2021
Formal verification of Matrix based MATLAB models using interactive theorem proving.Ayesha Gauhar, Adnan Rashid, Osman Hasan
|Jul 04, 2017
Formal reasoning about systems biology using theorem proving.Adnan Rashid, Osman Hasan, Umair Siddique
Pageof 1
