Search Books

Verification, model checking, ... 手動新增

edited by Gilles Barthe, Manuel Hermenegildo.

Springer-Verlag Berlin Heidelberg

Practical Aspects of Declarati... 手動新增

edited by Daniel Cabeza, Manuel Hermenegildo.

Springer-Verlag GmbH.

Construction and Analysis of S... 手動新增

edited by Gilles Barthe ... [et al.].

Springer-Verlag GmbH.

Engineering secure software an... 手動新增

edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato.

Springer Berlin Heidelberg

Programming languages and syst... 手動新增

edited by Gilles Barthe.

Springer Berlin Heidelberg

Trustworthy Global Computing :... 手動新增

edited by Gilles Barthe, Cedric Fournet.

Springer-Verlag Berlin Heidelberg