No public access
master's thesis
Formal system verification as a web service

Miroslav Juratovac (2014)
University of Zagreb
Faculty of Electrical Engineering and Computing