Proceedings of the 2015 Conference on Certified Programs and Proofs

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proof
за авторством: Williams

Proofs

Proof of Guilt
за авторством: Cairns

Robot-Proof
за авторством: Aoun

Rabbit-proof fence.
за авторством: Garimara, Doris Pilkington
Опубліковано: (2008)

International Journal of Evidence & Proof

Journal of the American College of Certified Wound Specialists, The

Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

Proceedings of the 2015 Conference on Advances In Robotics

Proceedings of the 2015 Winter Simulation Conference

Proceedings of the 2015 British HCI Conference

Proceedings of the 2015 Internet Measurement Conference

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications

2015 Joint Rail Conference

ASME 2015 Power Conference

Proceedings of the 2015 Virtual Reality International Conference

Proceedings of the The International Conference on Engineering & MIS 2015

Proceedings of the 2015 ACM SIGUCCS Annual Conference

Proceedings of the European Conference on Cognitive Ergonomics 2015

Proceedings of the 12th FPGAworld Conference 2015

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity

Applicative 2015

Optifab 2015

BAX 2015
за авторством: Kearney

Proceedings of the 2015 International Conference on Advanced Research in Computer Science Engineering & Technology (ICARCSET 2015)

Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2015

Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science

Proceedings of the 2015 International Conference on Software and System Process