( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Flexible Formality Practical Experience with Agile Formal Methods.

, , , , , , , , , , , и . TFP, том 12222 из Lecture Notes in Computer Science, стр. 94-120. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Polina Serkova

Polina Gavrilenko

Irina Vinogradova

Polina Sapouna

Polina Tusheva

 

Другие публикации лиц с тем же именем

Asymptotic estimates of a projection-difference method for an operator-differential equation., и . J. Num. Math., 21 (3): 181-200 (2013)Formalizing the Unexpected Hanging Paradox: A Classical Surprise.. CLAR, том 14156 из Lecture Notes in Computer Science, стр. 44-58. Springer, (2023)Babel Fees via Limited Liabilities., , , , и . CoRR, (2021)UTXOsf ma: UTXO with Multi-asset Support., , , , , , , , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 112-130. Springer, (2020)Convergence estimates of a projection-difference method for an operator-differential equation.. J. Comput. Appl. Math., 231 (1): 1-10 (2009)Babel Fees via Limited Liabilities., , , , и . ACNS, том 13269 из Lecture Notes in Computer Science, стр. 707-726. Springer, (2022)Flexible Formality Practical Experience with Agile Formal Methods., , , , , , , , , и 2 other автор(ы). TFP, том 12222 из Lecture Notes in Computer Science, стр. 94-120. Springer, (2020)Structured Contracts in the EUTxO Ledger Model., , , , , , , и . FMBC@CAV, том 118 из OASIcs, стр. 10:1-10:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Native Custom Tokens in the Extended UTXO Model., , , , , , , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 89-111. Springer, (2020)A study of Galerkin method for the heat convection equations., и . Appl. Math. Comput., 218 (2): 520-531 (2011)