Miniruwani Samarakoon

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Programming Course

Pair Programming

Top Venues

Publications

James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. NFM (2022)
James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. CoRR (2022)