Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
Crossref DOI link: https://doi.org/10.1007/s11786-014-0174-0
Published Online: 2014-04-24
Published Print: 2014-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
James, Phillip
Roggenbach, Markus
Text and Data Mining valid from 2014-03-01