"Computer Aided Verification - 26th International Conference, CAV 2014, ..."

Armin Biere, Roderick Bloem (2014)
[–] 

Details and statistics

DOI: 10.1007/978-3-319-08867-9

access: closed

type: Editorship

metadata version: 2022-01-03

Flipkart 90% Off Sales
Only For UPI users iPhone 11 Pro @ Rs.1999
image
icon
GET