Campos, J. C., & Harrison, M. D. (2001). Model checking interactor specifications.
Citação do estilo Chicago (17ª ed.)Campos, J. Creissac, e M. D. Harrison. Model Checking Interactor Specifications. 2001.
Citação MLA (8ª ed.)Campos, J. Creissac, e M. D. Harrison. Model Checking Interactor Specifications. 2001.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.