Книги автора Ofer Strichman

Efficient Decision Procedures for Validation

Автор: Ofer Strichman
Год: 2010
Издание: LAP Lambert Academic Publishing
Похожие авторы, соавторы: