Proof of equivalence of semantic methods for a selected domain-specific language
William Steingartner, Valerie Novitzká, Wolfgang Schreiner · Journal of Applied Mathematics and Computational Mechanics · 2024
Journal of Applied Mathematics and Computational Mechanics, Prace Naukowe Instytutu Matematyki i Informatyki, Politechnika Częstochowska, Scientific Research of the Institute of Mathematics and Computer Science, Czestochowa University of Technology