APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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

警告：這些引文格式不一定是100％准確.