Graph explorer

Research map

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

Richard Bornat
Map detail
Richard Bornat2 visible / 2 total nodes / 1 links

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

AuthorshipRichard BornatARichard BornatResearcherNew Lace and Arsenic: adventures in weak memory with a program logicWNew Lace and Arsenic: a...preprint / 2016
Person1 links

Richard Bornat

Researcher