Login / Signup

Context-Bounded Translations for Concurrent Software: An Empirical Evaluation.

Naghmeh GhafariAlan J. HuZvonimir Rakamaric
Published in: SPIN (2010)
Keyphrases