Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Eti Chaudhary
Map detail
Eti Chaudhary2 visible / 2 total nodes / 1 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipEti ChaudharyAEti ChaudharyResearcherPinaka: Symbolic Execution meets Incremental Solving (Competition Contribution)WPinaka: Symbolic Execut...preprint / 2019
Person1 links

Eti Chaudhary

Researcher