Hồ sơ

Hồ sơ

Hồ sơ của tôi Thư viện của tôi

Jacques-Henri Jourdan

CNRS, Laboratoire Méthodes Formelles

Email được xác minh tại cnrs.fr

Trích dẫn 2580 bài viết

Program verification Programming languages Rust Iris separation logic OCaml