Comments by "Cees Timmerman" (@CTimmerman) on "Are These Software Myths TRUE or FALSE?" video.

  1. Ada/SPARK guarantees absence of runtime errors.
    1