( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Advances in Program Termination and Liveness.

. VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 4. Springer, (2009)

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.

Byron Cosmidis

Stephen Cook

Byron Chalidis

Byron Katsaros

Byron Katsaros

 

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

Automatic Termination Proofs for Programs with Shape-Shifting Heaps., , , и . CAV, том 4144 из Lecture Notes in Computer Science, стр. 386-400. Springer, (2006)Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement., , , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 457-461. Springer, (2004)A Symbolic Approach to Predicate Abstraction., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 141-153. Springer, (2003)SLAyer: Memory Safety for Systems-Level Code., , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 178-183. Springer, (2011)Finding API usage rule violations in Windows device drivers using Static Driver Verifier.. ISoLA (Preliminary proceedings), том TR-2004-6 из Technical Report, стр. 18-18. Department of Computer Science, University of Cyprus, (2004)A Framework for Microprocessor Correctness Statements., , , и . CHARME, том 2144 из Lecture Notes in Computer Science, стр. 433-448. Springer, (2001)Automatically Proving Program Termination.. CAV, том 4590 из Lecture Notes in Computer Science, стр. 1. Springer, (2007)SoftMC 2003: Workshop on Software Model Checking., , и . SoftMC@CAV, том 89 из Electronic Notes in Theoretical Computer Science, стр. 377. Elsevier, (2003)Thread-modular shape analysis., , , и . PLDI, стр. 266-277. ACM, (2007)At the interface of biology and computation., , , , , , , и . CHI, стр. 493-502. ACM, (2013)