James, P., Moller, F., & Pantekis, F. (2023). OnTrack: Reflecting on domain specific formal methods for railway designs. Science of Computer Programming, 233, p. 103057. doi:10.1016/j.scico.2023.103057
Chicago Style CitationJames, Phillip, Faron Moller, and Filippos Pantekis. "OnTrack: Reflecting On Domain Specific Formal Methods for Railway Designs." Science of Computer Programming 233 (2023): 103057.
MLA CitationJames, Phillip, Faron Moller, and Filippos Pantekis. "OnTrack: Reflecting On Domain Specific Formal Methods for Railway Designs." Science of Computer Programming 233 (2023): 103057.
Warning: These citations may not always be 100% accurate.