オープン アクセスを義務付けられた論文 - Andrei Paskevich詳細
一般公開: 4 件
TFF1: The TPTP typed first-order form with rank-1 polymorphism
JC Blanchette, A Paskevich
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
委任: German Research Foundation
Abstraction and genericity in Why3
JC Filliâtre, A Paskevich
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
委任: Agence Nationale de la Recherche
Verification of Programs with Pointers in SPARK
GA Jaloyan, C Dross, M Maalej, Y Moy, A Paskevich
International Conference on Formal Engineering Methods, 55-72, 2020
委任: Agence Nationale de la Recherche
A Toolchain to Produce Correct-by-Construction OCaml Programs
JC Filliâtre, L Gondelman, A Paskevich, M Pereira, SM de Sousa
委任: Fundação para a Ciência e a Tecnologia, Portugal
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます