Login / Signup

Activity-based refinement for abstraction-guided simulation.

Debapriya ChatterjeeValeria Bertacco
Published in: HLDVT (2009)
Keyphrases