Rundong Mu

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

High Level Programming

Programming Environments

Novice Programmers

Top Venues

Theories of Programming and Formal Methods

Publications

Rundong Mu, Qin Li
A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming. Theories of Programming and Formal Methods (2023)