Helping Programmers to Adopt Set-Based Specifications.

Maximiliano Cristi, Gianfranco Rossi, Claudia S. Frydman

Browse the full FM paper archive.