Go to our GitHub Profile
Follow @overturetool
This page seeks to list relevant publications that relates to Overture and the VDM languages. Information about books and traning material can also be found on the following pages: