Bartholomew E Jardine

1PUBLICATIONS
0CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Jun 11, 2024
MakeSBML: a tool for converting between Antimony and SBML.

Bartholomew E Jardine, Lucian P Smith, Herbert M Sauro

Pageof 1

Frequent Collaborators