Dwayne Towell (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 J. Nelson Rushton, Dwayne Towell: A Language Facilitating Informal Reasoning about Programs. SEKE 2007: 396-

Selection of 1 from 3 records - Dwayne Towell has 2 coauthors