Hana Chockler
eBooks currently free by Hana Chockler
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Notes in Computer Science Book 10981)
$0.00
Last checked: About 2 days ago
Book is being tracked now!
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Notes in Computer Science Book 10982)
$0.00
Last checked: About 2 days ago
Book is being tracked now!