"A Tutorial on Functional Program Verification" by Yoonsik Cheon and Melisa Vela
 

Share

COinS