-
1
-
2
Efficient monitoring of parametric context-free patterns
Veröffentlicht in Automated software engineering
VolltextArtikel -
3
-
4
Maximal sound predictive race detection with control flow abstraction
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
5
-
6
-
7
Garbage collection for monitoring parametric properties
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
8
Garbage collection for monitoring parametric properties
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19