or cancel

Browse Collections

Combining Denotational and Operational Semantics for Scalable Proof Development” by Galois Video has been added to 3 collections. You can use this section to discover where and how this video is spreading throughout the Vimeo community.

More about this video