Romano, R. J. C. (2011). Desenvolvimento formal de sistemas críticos: Caso de estudo usando SPARK.
Citação do estilo Chicago (17ª ed.)Romano, Ricardo Jorge Cantador. Desenvolvimento Formal De Sistemas Críticos: Caso De Estudo Usando SPARK. 2011.
Citação MLA (8ª ed.)Romano, Ricardo Jorge Cantador. Desenvolvimento Formal De Sistemas Críticos: Caso De Estudo Usando SPARK. 2011.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.