2 search results for "author:"Nikolaus Huber <mail@n-huber.eu>""
Showing 1 - 2
-
ortac-qcheck-stm
No documentation
QCheck-STM plugin for Ortac0.7.0MITUsed by 1 other packages04 Jul 2025 -
ortac-runtime-qcheck-stm
No documentation
Runtime support library for Ortac/QCheck-STM-generated codeNicolas Osborne <nicolas.osborne@tarides.com> Nikolaus <mail@n- .eu>0.7.0MITUsed by 1 other packages04 Jul 2025