No public access
master's thesis
Rigorous Software Development for Business Process Scenarios

Ivan Maričević (2014)
University of Zagreb
Faculty of Electrical Engineering and Computing