-
1
-
2
A Progress Bar for the JPF Search Using Program Executions
Veröffentlicht in Software engineering notes
VolltextArtikel -
3
Quantifying the Exploration of the Korat Solver for Imperative Constraints
Veröffentlicht in Software engineering notes
VolltextArtikel -
4
-
5
-
6
-
7
-
8
The Many Hosts of Mycobacteria 9 (MHM9): A conference report
Veröffentlicht in Tuberculosis (Edinburgh, Scotland)
VolltextArtikel -
9