Contractor.NET | A .NET validation and specification strengthening tool
Home
Installation and usage
Examples
People
People
Sebastian Uchitel, Ph.D.
- Full-time Professor -
suchitel
dc
uba
ar
Principal Investigator.
Edgardo Zoppi
- Ph.D. student -
ezoppi
dc
uba
ar
Main developer of Contractor.NET
Victor Braberman, Ph.D.
- Full-time Professor -
vbraber
dc
uba
ar
Researcher in Contractor.NET team
Guido de Caso, Ph.D.
-
gdecaso
dc
uba
ar
Researcher in Contractor.NET team
Diego Garbervetsky, Ph.D.
- Full-time Professor -
diegog
dc
uba
ar
Researcher in Contractor.NET team