-
-
1 week agoGalois Video uploaded Property Directed Reachability -
1 month agoGalois Video added Galois Tech Talk: Formalizing Haskell 98 in the K Semantic Framework to Galois Tech Talks
-
1 month agoGalois Video uploaded Galois Tech Talk: Formalizing Haskell 98 in the K Semantic Framework
-
Galois Video
Joined June 2010
Galois designs dependable software to meet mission-critical information assurance challenges for government and industry.
We tackle challenging problems that have significant impact on society, in areas like privacy, security, and safety.
Keep up with us on our blog galois.com/blog and on twitter twitter.com/galoisinc
We tackle challenging problems that have significant impact on society, in areas like privacy, security, and safety.
Keep up with us on our blog galois.com/blog and on twitter twitter.com/galoisinc
See all 35 videos Their recent videos
Galois Video has no contacts yet.
-
Vimeo: About / Blog / Developers / Jobs /
Community Guidelines /
Help Center / Video School / Music Store / Site Map
/ Vimeo or
-
Legal: TM + ©2012 Vimeo, LLC. All rights reserved. / Terms of Service / Privacy Statement / Copyright