Graph explorer

Research map

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

Sophie Fortz
Map detail
Sophie Fortz2 visible / 2 total nodes / 1 links

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

AuthorshipSophie FortzASophie FortzResearcherAn SMT-Based Concolic Testing Tool for Logic ProgramsWAn SMT-Based Concolic T...preprint / 2020
Person1 links

Sophie Fortz

Researcher