Work

Constructing compact models of concurrent Java programs

FWCI: 1.433
Cites: 11
Cited by: 3
Related to: 10