POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 09:00 - 10:00 at Auditorium - Invited Talk

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Invited TalkCPP at Auditorium
09:00
60m
Talk
Mechanized verification of preemptive OS kernels
CPP
Xinyu Feng University of Science and Technology of China
File Attached