Graph explorer

Research map

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

Leonardo Mangeruca
Map detail
Leonardo Mangeruca2 visible / 2 total nodes / 1 links

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

AuthorshipLeonardo MangerucaALeonardo MangerucaResearcherSoS contract verification using statistical model checkingWSoS contract verificati...preprint / 2013
Person1 links

Leonardo Mangeruca

Researcher