Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification. Association for Computing Machinery (ACM).
Chicago Style (17. basım) AtıfProceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
MLA (9th ed.) AtıfProceedings of the 4th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..