Login / Signup

Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.

Neha RungtaEric G. Mercer
Published in: PADTAD (2009)
Keyphrases
  • concurrent programs
  • building blocks
  • information systems
  • process algebra