Open AccessPractical Examination of Formal Methods Transformations Properties
Author(s) -
Slavomír Šimoňák,
Daniel Harvilík
Publication year - 2022
Publication title -
acta polytechnica hungarica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.277
H-Index - 34
eISSN - 2064-2687
pISSN - 1785-8860
DOI - 10.12700/aph.19.5.2022.5.3
Subject(s) - computer science , calculus (dental) , medicine , dentistry