assertive.code
From MaRDI portal
Software:135788
CRANassertive.codeMaRDI QIDQ135788FDOQ135788
Assertions to Check Properties of Code
Last update: 30 May 2023
Copyright license: GNU General Public License
Software version identifier: 0.0-1, 0.0-3, 0.0-4
Cited In (1)
This page was built for software: assertive.code
