Wishnu Prasetya

Registered user since Fri 1 Mar 2019

Name: Wishnu Prasetya

Affiliation: Utrecht University

Personal website: http://www.cs.uu.nl/~wishnu

Research interests: program verification, software testing

Contributions

INTUITESTBEDS 2018Committee Member in Program Committee within the INTUITESTBEDS-track
ICSE 2019Author of Having Fun in Learning Formal Specifications within the Software Engineering Education and Training -track