_:n06fc1e915849422f8b1ba0290c7b857bxb0
<http://schema.org/learningResourceType>
<https://www.skillsoft.com/course/verifying-systems-and-secure-programming-languages-6a66e635-df18-4035-b68e-535e031f69bf>