Գրանցեք մեջբերումները

APA (7th ed.) մեջբերում

Proceedings of the 3rd workshop on Programming languages meets program verification. Association for Computing Machinery (ACM).

Չիկագոյի ոճի (17րդ խմբ.) մեջբերում

Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).

MLA (9րդ խմբ.) Մեջբերում

Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).

Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.