assertive.models
From MaRDI portal
Software:135783
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
Cited In (1)
This page was built for software: assertive.models
