Abhishek Kr Singh

Identifiers

No identifiers captured yet.

Papers (4)

1. Formal verification of trading in financial markets cs.LO · 2019 · author #2
2. Towards a constructive formalization of Perfect Graph Theorems cs.LO · 2018 · author #1
3. An Outline of Separation Logic cs.LO · 2017 · author #1
4. Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Raja Natarajan 1 shared papers
• Raja Natrajan 1 shared papers
• Suneel Sarswat 1 shared papers