1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/1786
Title: Verification of New Feature Implementation Using the HOBBIT Benchmark Platform. Project Deliverable from Project SAGE
Authors: Jovanovik, Miloš
Williams, Hugh
Spasić, Mirko 
Affiliations: Informatics and Computer Science 
Issue Date: 2020
Publisher: OpenLink Software
URI: https://research.matf.bg.ac.rs/handle/123456789/1786
Appears in Collections:Research outputs

Show full item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.