Luke Tudor

Publication Activity (10 Years)

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

Top Topics

Semantically Equivalent

Logical Representation

Program Execution

Semantic Knowledge

Top Venues

Publications

Luke Tudor, Jing Sun, Hai H. Wang, Bingyang Wei
Semantic Rule Based Program Monitoring (S). SEKE (2019)