Guido de Caso

Identifiers

• name variant Guido de Caso 0.60 · backfill

Papers (1)

1. Reducing the Number of Annotations in a Verification-oriented Imperative Language cs.PL · 2010 · author #1

Mentions

• 1011.3407 #1 · backfill · confidence 0.70 Guido de Caso

Frequent Coauthors

• Daniel Gor\'in 1 shared papers
• Diego Garbervetsky 1 shared papers