( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Advances in Usability of Formal Methods for Code Verification with Frama-C.

, , и . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2019)

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.

Florent Kirchner

Florent Yang

Electrochemical modification of Si surfaces by methyl groups (CH_1tn3, CD_1tn 3) ethynyl derivatives, pyrrole and thiophene. HU Berlin, (2008)

Florent Haiss

Florent Thouvenin

Florent Berthaut

 

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

Towards Secure and Trusted-by-Design Smart Contracts., , , и . CoRR, (2024)Advances in Usability of Formal Methods for Code Verification with Frama-C., , и . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2019)Rule-Based Operational Semantics for an Imperative Language., и . RULE@FLoC, том 174 из Electronic Notes in Theoretical Computer Science, стр. 35-47. Elsevier, (2006)PVS#: Streamlined Tacticals for PVS., и . STRATEGIES@IJCAR, том 174 из Electronic Notes in Theoretical Computer Science, стр. 47-58. Elsevier, (2006)The dogged pursuit of bug-free C programs: the Frama-C software analysis platform., , , , , , , , , и 1 other автор(ы). Commun. ACM, 64 (8): 56-68 (2021)