How To Make Formal Methods A Software Quality Solution That Can Actually Be Used In The Industry

From a channel Lumen includes in full: C++Now is the expert-track C++ conference (from the Boost community): long, deep talks by committee members and library authors on metaprogramming, concurrency, memory safety and performance, often running 90 minutes.