( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Specification Logic for Programs in the Probabilistic Guarded Command Language.

, , , и . ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 369-387. 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

 

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

Evaluating #SAT solvers on industrial feature models., , и . VaMoS, стр. 3:1-3:9. ACM, (2020)Feature-oriented contract composition., , , , и . J. Syst. Softw., (2019)Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct., , , , , , и . LNCS Trans. Found. Mastering Chang., (2016)Scalability of Deductive Verification Depends on Method Call Treatment., , , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 159-175. Springer, (2018)Using Abstract Contracts for Verifying Evolving Features and Their Interactions., , , , , , и . 20 Years of KeY, том 12345 из Lecture Notes in Computer Science, Springer, (2020)Supporting commissioning of production plants by model-based testing and model learning., , , , , и . ISIE, стр. 606-611. IEEE, (2015)Tutorial: The Correctness-by-Construction Approach to Programming Using CorC., , , и . SecDev, стр. 1-2. IEEE, (2021)Verification Strategies for Feature-Oriented Software Product Lines., , , , и . VaMoS, стр. 12:1-12:9. ACM, (2022)VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction., , , и . SEFM Workshops, том 13765 из Lecture Notes in Computer Science, стр. 156-163. Springer, (2022)A Specification Logic for Programs in the Probabilistic Guarded Command Language., , , и . ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 369-387. Springer, (2022)