CambridgeComputerLab - 2019 Wheeler Lecture: 'Combining formal methods and machine learning', Prof Jane Hillston
Sign in to continue reading, translating and more.
