Login / Signup

Model Checking Event-B by Encoding into Alloy.

Paulo J. MatosJoão Marques-Silva
Published in: ABZ (2008)
Keyphrases