Vol-1374⫷ Vol-1375 ⫸Vol-1376
urn:nbn:de:0074-1375-0


Vol-1375/paper7⫷Vol-1375/paper8⫸Vol-1375/paper9
Milos Savic 0001Mirjana Ivanovic

Validation of Static Program Analysis Tools by Self-Application: A Case Study