Higher-Level Formal Languages: A Theoretical Foundation for Software System Specification

Author: Aleksandar Bakalov

Publication Date: 2025/03/25

DOI: 10.31219/osf.io/tgq2u_v1

Download PDF