CORE

🇺🇦   make metadata, not war

    4 research outputs found

    Isabelle/UTP : A Mechanised Theory Engineering Framework

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    Get PDF
    Teeside University's Research Repository

    Accent on the individual: Bulletin of Florida Technological University, 1978 - 1979

    Author
    Publication venue
    University of Central Florida
    Publication date
    Field of study
    Get PDF

    Esprit '87 achievements and impact. Proceedings of the 4th annual Esprit conference part 1. Brussels, 28-29 September 1987. EUR 11192 EN

    Author
      Publication venue
      Publication date
      Field of study
      Get PDF
      corecore