Formal Methods in System Design. Springer US.
Citazione stile Chigago Style (17a edizione)Formal Methods in System Design. Springer US.
Citatione MLA (8a ed.)Formal Methods in System Design. Springer US.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.