( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Real Number Calculations and Theorem Proving.

, и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 195-210. Springer, (2005)

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.

César Muñoz

Manuel Muñoz-Expósito

Pedro Pablo Muñoz Pradas

Juan Muñoz

Cesar A Hidalgo

 

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

A Formal Interactive Verification Environment for the Plan Execution Interchange Language., , , и . IFM, том 7321 из Lecture Notes in Computer Science, стр. 343-357. Springer, (2012)Real Number Calculations and Theorem Proving., и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 195-210. Springer, (2005)Preface: special issue on NASA Formal Methods Symposium 2010.. Innov. Syst. Softw. Eng., 7 (2): 71-72 (2011)Provably faithful evaluation of polynomials., и . SAC, стр. 1328-1332. ACM, (2006)Experimental Evaluation of a Planning Language Suitable for Formal Verification., , и . MoChArt, том 5348 из Lecture Notes in Computer Science, стр. 132-146. Springer, (2008)Software Validation via Model Animation., , , и . TAP, том 9154 из Lecture Notes in Computer Science, стр. 92-108. Springer, (2015)Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis., , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 213-229. Springer, (2017)An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs., , , и . VMCAI, том 10747 из Lecture Notes in Computer Science, стр. 516-537. Springer, (2018)Formal verification of conflict detection algorithms., , , и . Int. J. Softw. Tools Technol. Transf., 4 (3): 371-380 (2003)Aircraft Trajectory Modeling and Altering Algorithm Verification., и . TPHOLs, том 1869 из Lecture Notes in Computer Science, стр. 90-105. Springer, (2000)