Yuri Gurevich's Profile

Publications tagged abstract machine