( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Summary-Based Compositional Analysis for Soft Contract Verification.

, , и . SCAM, стр. 186-196. IEEE, (2022)

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.

Thomas Coen

Mechthild Coen

Martin Coen

Christoph Coen

Klaus Coen

 

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

Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions., , , , и . WCRE, стр. 389-393. IEEE Computer Society, (2011)Linvail: A General-Purpose Platform for Shadow Execution of JavaScript., , , и . SANER, стр. 260-270. IEEE Computer Society, (2016)Does Infrastructure as Code Adhere to Semantic Versioning? An Analysis of Ansible Role Evolution., , , и . SCAM, стр. 238-248. IEEE, (2020)Research Paper Untangling Composite Commits Using Program Slicing., и . SCAM, стр. 193-202. IEEE Computer Society, (2018)Mining Patterns in Source Code Using Tree Mining Algorithms., , , , , , , и . DS, том 11828 из Lecture Notes in Computer Science, стр. 471-480. Springer, (2019)Poster: Tierless Programming in JavaScript., , и . ICSE (2), стр. 831-832. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Prevalence of botched code integrations., и . MSR, стр. 503-506. IEEE Computer Society, (2017)Multimodal segmentation combining active contours and watersheds., , , , , и . EUSIPCO, стр. 1-4. IEEE, (2005)Dynamic Slicing of WebAssembly Binaries., , и . ICSME, стр. 84-96. IEEE, (2023)Identifying Versions of Libraries used in Stack Overflow Code Snippets., , и . MSR, стр. 341-345. IEEE, (2021)