Proceedings of the sixth workshop on Programming languages meets program verification. Association for Computing Machinery (ACM).
Citace podle Chicago (17th ed.)Proceedings of the Sixth Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
Citace podle MLA (8th ed.)Proceedings of the Sixth Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..