CORE

🇺🇦   make metadata, not war

    2 research outputs found

    VDM in three generations of Ada formal descriptions

    Author
      Publication venue
      'Springer Science and Business Media LLC'
      Publication date
      Field of study
      No full text
      Crossref
      Recommended from our members

      Mural: A formal development support system

      Author
      Publication venue
      'Springer Science and Business Media LLC'
      Publication date
      Field of study
      Get PDF
      City Research Online
      corecore