A Comparative Study of Programmer-Written and Automatically Inferred Contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname - Bertrand Meyer - Document - PDFSEARCH.IO

First Page	Meta Content
	A Comparative Study of Programmer-Written and Automatically Inferred Contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Add to Reading List Document Date: 2016-01-20 16:21:22 Open Document File Size: 494,64 KB Share Result on Facebook

A Comparative Study of Programmer-Written and Automatically Inferred Contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.chAdd to Reading List