Work

Developer-friendly verification of process-based systems

FWCI: 9.512
Cites: 34
Cited by: 20
Related to: 10