Browsing Facultad de Informática by Author "Mediero Iturrioz, Jon"

Now showing items 1-1 of 1

    • Thumbnail

      Verification of Concurrent Programs in Dafny 

      Mediero Iturrioz, Jon (2017-11-27)
      This report documents the Bachelor’s End Project of Jon Mediero Iturrioz for the Bachelor in Informatics Engineering of the UPV/EHU. The project was made under the supervision of Francisca Lucio Carrasco. The project ...