Daniel de Carvalho

Reflections on Teaching Formal Methods for Software Development in Higher Education

Published with Wowchemy — the free, open source website builder that empowers creators.