{
  "@context": {
    "@vocab": "http://schema.org/",
    "rdau": "http://rdaregistry.info/Elements/u/",
    "skos": "http://www.w3.org/2004/02/skos/core#",
    "skos:prefLabel": {
      "@container": "@language"
    }
  },
  "@graph": [
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00030993000",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000127975"
      },
      "name": "Refinement of recursive procedures with parameters in PVS"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000127975",
      "@type": "Person",
      "name": "Preoteasa, Viorel"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00039914300",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000127975"
      },
      "name": "Mechanical verification of recursive procedures manipulating pointers using separation logic"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00028195300",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000127975"
      },
      "name": "Reasoning about pointers in refinement calculus"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00301542900",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000127975"
      },
      "name": "Mechanical verification of mutually recursive procedures for parsing expressions using separation logic"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00513111200",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000127975"
      },
      "name": "Program variables : the core of mechanical reasoning about imperative programs"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00035742800",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000127975"
      },
      "name": "A python specification of the Tkinter Text-widget"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00025718300",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000127975"
      },
      "name": "Reasoning about recursive procedures with parameters"
    }
  ]
}