Online lecture on verified computing (SSP2021@NiigataUniv)

Homepage: http://www.ces-alpha.org/hp/SSP2021Online       Feb, 2021     Online (Zoom)  

 Downlaod the codes for our online lecture.