Special session: "hands-on" tutorial: teaching software correctness with RESOLVE.

Murali Sitaraman Bruce W. Weide

Published in: SIGCSE (2014)

Keyphrases

special session
instructor led
web based training
image and video retrieval
software development
computer systems
higher education
student responses
learning process
researchers and practitioners
program committee
high profile
multimedia
topics covered