Browse By Depositor - G N Watson

Browse Results (2 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

 Browse By Depositor - G N Watson:
  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Watson, Geoffrey Norman (2001). A Generic Proof Checker PhD Thesis, School of Computer Science and Electrical Engineering, The University of Queensland. 810 1464
Carrington, D., Hayes, I., Nickson, R., Watson, G. N. and Welsh, J. (1996) A Tool for Developing Correct Programs by Refinement. technical Report no. 95-49, Software Verification Research Centre, School of Information Technology, The University of Queensland. 482 564