Includes supplementary material: sn.pub/extras
Mauro Pezzè
Java Java Card design formal methods formal verification logic metamodeling modeling program analysis programming requirements engineering reverse engineering software architecture specification