martinhruska/excel
Excel@FIT paper
Developer Profile
martinhruska
Discovered public repositories for martinhruska in the GitHub catalog.
martinhruska/GAL
docu
martinhruska/dp
master thesis
martinhruska/svcomp_script
SV-COMP scripts
martinhruska/forester
Tool for Verification of Programs with Pointers
martinhruska/PRL
Projects for PRL lecture @ FIT BUT
martinhruska/SLO
Projects for SLOT lecture @ FIT BUT
martinhruska/POS
Projects for POS lecture @ FIT BUT
martinhruska/SNT
Project fot SNT lecture @ FIT BUT
martinhruska/SFC
Soft computing project at BUT
martinhruska/libvata
VATA Tree Automata Library
martinhruska/BT
Bachelor Thesis