industrial applications of formal methods to model, design and analyze computer systems (en Inglés)

craigen, dan · william andrew publishing