A novel approach to verifying context free properties of programs

From MaRDI portal
Publication:2290651

DOI10.1016/j.tcs.2020.01.005zbMath1436.68200OpenAlexW2998933178WikidataQ126384761 ScholiaQ126384761MaRDI QIDQ2290651

Zhenhua Duan, Nan Zhang, Cong Tian, Hongwei David Du

Publication date: 29 January 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.01.005





Uses Software


Cites Work


This page was built for publication: A novel approach to verifying context free properties of programs