Assessing the impact of hints in learning formal specification.

Alcino Cunha, Nuno Macedo, Jos Creissac Campos, Iara Margolis, Emanuel Sousa

Browse the full ICSE paper archive.