Proceedings of the 10th international workshop on Formal methods for industrial critical systems. Association for Computing Machinery (ACM).
Chicago-viite (17. p.)Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems. Association for Computing Machinery (ACM).
MLA-viite (8. p.)Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems. Association for Computing Machinery (ACM).
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.