( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Program to Logic: An Introduction.

, и . LASER Summer School, том 7682 из Lecture Notes in Computer Science, стр. 31-44. Springer, (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.

Kajori Lahiri

Ananda Lahiri

Claus Lahiri

Annesha Lahiri

Kishor Lahiri

 

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

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic., и . J. Satisf. Boolean Model. Comput., 1 (3-4): 187-207 (2007)Formal Specification and Verification of Smart Contracts for Azure Blockchain., , , и . CoRR, (2018)Enabling Open-World Specification Mining via Unsupervised Learning., , , и . CoRR, (2019)Constructing Quantified Invariants via Predicate Abstraction., и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 267-281. Springer, (2004)Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers., , и . CAV, том 5643 из Lecture Notes in Computer Science, стр. 509-524. Springer, (2009)SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs., , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 712-717. Springer, (2012)A Solver for Reachability Modulo Theories., , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 427-443. Springer, (2012)SMT-Based Modular Analysis of Sequential Systems Code.. CAV, том 6806 из Lecture Notes in Computer Science, стр. 21-27. Springer, (2011)Verified three-way program merge., , и . Proc. ACM Program. Lang., 2 (OOPSLA): 165:1-165:29 (2018)MergeBERT: Program Merge Conflict Resolution via Neural Transformers., , , , , , , и . CoRR, (2021)