Richiedi una copia del documento: Abstract state machines, alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012

Captcha code
Annulla