Formal Methods in Collaborative Projects.

Anna Zamansky, Guillermo Rodrguez-Navas, Mark Adams, Maria Spichkova

Browse the full ENASE paper archive.