assertive.models
From MaRDI portal
Assertive.models
CRANassertive.modelsMaRDI QIDQ135783FDOQ135783
Assertions to Check Properties of Models
Last update: 21 October 2018
Copyright license: GNU General Public License
Software version identifier: 0.0-2
This page was built for software: assertive.models
