Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems. Association for Computing Machinery (ACM).
Citação norma ChicagoProceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems. Association for Computing Machinery (ACM).
Citação norma MLAProceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems. Association for Computing Machinery (ACM).
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.