Login / Signup

Model Checking Value-Passing Modal Specifications.

Maurice H. ter BeekStefania GnesiFranco Mazzanti
Published in: Ershov Memorial Conference (2014)
Keyphrases