_:n06fc1e915849422f8b1ba0290c7b857bxb3
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://www.skillsoft.com/course/verifying-systems-and-secure-programming-languages-6a66e635-df18-4035-b68e-535e031f69bf>