DMCA

Precise fixpoint-based analysis of programs with thread-creation (2007)

by Peter Lammich , Markus Müller-Olm
Venue:IN PROC. OF CONCUR 2007
Citations:4 - 3 self