Keynote: Tools for Verified Scala by Viktor Kuncak

Name: Keynote: Tools for Verified Scala by Viktor Kuncak
Uploaded: 2017-06-02T00:00:00.000Z
Description: Video Keynote: Tools for Verified Scala by Viktor Kuncak