Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification. Association for Computing Machinery (ACM).
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रProceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
एमएलए (8वां संस्करण) प्रशस्ति पत्रProceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.