Cita APA (7a ed.)
Axel Legay, S. B. Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Axel Legay, Saddek Bensalem. Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Axel Legay, Saddek Bensalem. Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.