Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
Papers: 10.7717/peerj-cs.440
https://doi.org/10.7717/peerj-cs.440
Formal verification of Matrix based MATLAB models using interactive theorem proving
Cited by: 3
Author(s): Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso
Published: over 3 years ago