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 ...

n Armin Biere
2/5
Yeroo jalqabaaf maxxanfame
Aug 04, 2014
Maxxansitoota
Springer

Kitaabota

Kitaabonni walfakkaatan