Ryosuke Sato - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Tue 11 Dec 2018

Name:Ryosuke Sato

Country:Japan

Affiliation:Kyushu University, Japan

Personal website: https://posl.ait.kyushu-u.ac.jp/~sato/

Contributions

2019

PEPM

Combining Higher-Order Model Checking with Refinement Type Inference

Show activities from other conferences

POPL 2019-profile
View general profile

	
		OSZAR »