Online Library TheLib.net » Author books / Книги автора George C. Necula Sumit Gulwani (auth.) Kousha Etessami Sriram K. Rajamani (eds.)
book Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
pdf
00
26.01.2024
0
0
Read online