master's thesis
The axiomatic semantics of IMP

Damira Žmire (2017)
University of Split
University of Split, Faculty of science
Department of Mathematics