IFM 2020: INTEGRATED FORMAL METHODS
Violet Ka I Pun
Affiliation: Western Norway University of Applied Sciences, Norway
Web page: http://foldr.org/~violet/
Pages in this Program
Program
Program for Wednesday, November 18th