2 search results for "author:"Nikolai Kosmatov""
Showing 1 - 2
-
frama-c-metacsl
No documentation
MetAcsl plugin of Frama-C for writing pervasives properties0.9~betaLGPL-2.1-onlyUsed by 0 other packages23 Jun 2025 -
Executes a test suite and computes test coverage0.1.1LGPL-2.1-onlyUsed by 0 other packages09 Jul 2024