Refined By:
Author:  Budimac, Zoran

Results 1-9 of 9 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)
11-Jan-2015Bringing together manual and automated code assessmentPribela, Ivan ; Pracner, Doni ; Budimac, Zoran 
22014Bringing Together Manual and Automated Code AssessmentPribela Ivan ; Pracner Doni ; Budimac Zoran 
32017Enabling code transformations with FermaT on simplified bytecodePracner Doni ; Budimac Zoran 
42019Fitness Functions and Transformations in an Automated ProcessSukur Nataša ; Pracner Doni ; Budimac Zoran 
52017A Practical Tutorial for FermaT and WSL TransformationsPracner Doni ; Budimac Zoran 
62011Restructuring Assembly Code Using Formal TransformationsPracner Doni ; Budimac Zoran 
72014Tool for Testing Bad Student ProgramsPribela Ivan ; Pracner Doni ; Budimac Zoran 
82013Transforming Low-level Languages Using FermaT and WSLPracner Doni ; Budimac Zoran 
92011Understanding Old Assembly Code Using WSLPracner Doni ; Budimac Zoran