( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.

, , , , и . Int. J. Softw. Tools Technol. Transf., 25 (2): 185-204 (апреля 2023)

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.

Sarwan Abbasi

Afshin Abbasi

Khalil Abbasi

Najmunisa Abbasi

Isabelle Abbasi

 

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

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY., , , , и . Int. J. Softw. Tools Technol. Transf., 25 (2): 185-204 (апреля 2023)Deductive Verification of Floating-Point Java Programs in KeY., , , , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 242-261. Springer, (2021)Verification of Asynchronous Systems with an Unspecified Component., , и . CoRR, (2017)Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs., и . SAS, том 14284 из Lecture Notes in Computer Science, стр. 41-64. Springer, (2023)