James, P., & Roggenbach, M. (2014). Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans. Mathematics in Computer Science, 8(1), pp. 11-38. doi:10.1007/s11786-014-0174-0
Chicago Style CitationJames, Phillip, and Markus Roggenbach. "Encapsulating Formal Methods Within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans." Mathematics in Computer Science 8, no. 1 (2014): 11-38.
MLA CitationJames, Phillip, and Markus Roggenbach. "Encapsulating Formal Methods Within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans." Mathematics in Computer Science 8.1 (2014): 11-38.
Warning: These citations may not always be 100% accurate.