Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

1 Results for "Polikarpova, Nadezhda"

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. A comparative study of programmer-written and automatically inferred contracts

Polikarpova, Nadezhda, Ciupa, Ilinca and Meyer, Bertrand

Reports Reports