Formal Methods in System Design. Springer US.
Citação norma ChicagoFormal Methods in System Design. Springer US.
Citação norma MLAFormal Methods in System Design. Springer US.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.