Computer Aided Verification

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ...

poolt Armin Biere
2/5
Esmakordselt avaldatud
Aug 04, 2014
Kirjastajad
Springer

Raamatud

Sarnased raamatud