( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna.

. SIGACT News, 42 (1): 32-35 (2011)

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.

Hans-Otto Furian

Thimm Christoph Furian

Robert Furian

Robert Furian

Teresa Carlomagno

 

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

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques., , , и . SEFM, том 7041 из Lecture Notes in Computer Science, стр. 382-398. Springer, (2011)A Fully Verified Container Library., , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 414-434. Springer, (2015)Automatic Translation of C Source Code to Eiffel, , , , и . CoRR, (2012)Flexible Invariants Through Semantic Collaboration., , , и . CoRR, (2013)Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna.. SIGACT News, 42 (1): 32-35 (2011)Bayesian Data Analysis in Empirical Software Engineering Research., , и . CoRR, (2018)Inferring Loop Invariants Using Postconditions., и . Fields of Logic and Computation, том 6300 из Lecture Notes in Computer Science, стр. 277-300. Springer, (2010)Automatic Program Repair by Fixing Contracts., , , и . FASE, том 8411 из Lecture Notes in Computer Science, стр. 246-260. Springer, (2014)FauxPy: A Fault Localization Tool for Python., и . CoRR, (2024)Comments on temporal logics for real-time system specification., , и . ACM Comput. Surv., 41 (2): 13:1-13:5 (2009)