Bunyik Karina; Markó Krisztián: The vector library testing of feldspar programming language based on axiomatic semantics : [abstract].