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

за Armin Biere
2/5
Вперше опубліковано
Aug 04, 2014
Видавці
Springer

Книги

Подібні книги