( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.

, , , , , и . The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 80-104. Springer, (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.

Ina Schaefer

Mohan Mohadeo Inamdar

Michael Inacker

Jason Inan

Kemal Inat

 

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

Oil palm and rubber expansion facilitates earthworm invasion in Indonesia, , , , , и . Biological Invasions, 23 (9): 2783–2795 (апреля 2021)Product sampling for product lines: the scalability challenge., , , , , и . SPLC (A), стр. 14:1-14:6. ACM, (2019)Refactoring Delta-Oriented Software Product Lines., и . Software Engineering & Management, том P-239 из LNI, стр. 82. GI, (2015)Analysis Strategies for Software Product Lines: A Classification and Survey., , , , и . Software Engineering & Management, том P-239 из LNI, стр. 57-58. GI, (2015)Software Reuse: From Cloned Variants to Managed Software Product Lines., , и . Automotive Systems and Software Engineering, Springer, (2019)Experience Report on Formally Verifying Parts of OpenJDK's API with KeY., , , и . F-IDE@FLoC, том 284 из EPTCS, стр. 53-70. (2018)Evolution of software in automated production systems: challenges and research directions., , , и . Software Engineering, том P-252 из LNI, стр. 107-108. GI, (2016)Correctness-by-construction for feature-oriented software product lines., , и . GPCE, стр. 22-34. ACM, (2020)Reengineering Workflow for Planned Reuse of IEC 61131-3 Legacy Software., , , и . IEEM, стр. 1126-1130. IEEE, (2020)Automated Integration of Heteregeneous Architecture Information into a Unified Model., , , и . ECSA, том 14212 из Lecture Notes in Computer Science, стр. 83-99. Springer, (2023)