Saeed Darabi (University of Twente)

Identifiers

• name variant Saeed Darabi (University of Twente) 0.60 · backfill

Papers (1)

1. Verifying Parallel Loops with Separation Logic cs.SE · 2014 · author #2

Mentions

• 1406.3484 #2 · backfill · confidence 0.70 Saeed Darabi (University of Twente)

Frequent Coauthors

• Marieke Huisman (University of Twente) 1 shared papers
• Stefan Blom (University of Twente) 1 shared papers