Ding, Y. (2020). Transition-Oriented Programming: Developing Provably Correct Systems.
Chicago Style (17th ed.) CitationDing, Yepeng. Transition-Oriented Programming: Developing Provably Correct Systems. 2020.
MLA (9th ed.) CitationDing, Yepeng. Transition-Oriented Programming: Developing Provably Correct Systems. 2020.
Warning: These citations may not always be 100% accurate.