At this Sunday's NYC Lean #Meetup (8/2 @ 2 PM EDT), @joomy Korkut delivers a talk outlining the design, implementation challenges, and early lessons learned in integrating verified programs into real-world C++ systems with Crane
bloom.bg/4woGws3
#opensource #FormalMethods
We are engineers and designers, builders and makers delivering unrivaled products and services every day. We have a lot to share and a lot to learn. Join us.
Joined August 2014

