From verified model to executable program: the PAT approach
Crossref DOI link: https://doi.org/10.1007/s11334-015-0269-z
Published Online: 2015-12-19
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhu, Huiquan
Sun, Jing
Dong, Jin Song
Lin, Shang-Wei
Text and Data Mining valid from 2015-12-19