Proceedings of the 10th international workshop on Formal methods for industrial critical systems. Association for Computing Machinery (ACM).
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումProceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems. Association for Computing Machinery (ACM).
MLA (9րդ խմբ.) ՄեջբերումProceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems. Association for Computing Machinery (ACM).
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.