Proceedings of the third workshop on Formal methods in software practice. Association for Computing Machinery (ACM).
Citação norma ChicagoProceedings of the Third Workshop on Formal Methods in Software Practice. Association for Computing Machinery (ACM).
Citação norma MLAProceedings of the Third Workshop on Formal Methods in Software Practice. Association for Computing Machinery (ACM).
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.