Research output per year
Research output per year
Search results
-
2021
Mika: A tool for the automatic generation of tests from Ada source code.
Meudec, C. (Photographer), 2021Research output: Non-textual form › Software
-
2001
A Path Traversal Conditions solver
Meudec, C. (Photographer), Mar 2001Research output: Non-textual form › Software