© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Projects in the Computing Curriculum
Mike Holcombe, Andy Stratton, Sally Fincher, and Gary Griffiths
Springer-Verlag, July 1998.Bibtex Record
@book{596, author = {Mike Holcombe and Andy Stratton and Sally Fincher and Gary Griffiths}, title = {Projects in the Computing Curriculum}, month = {July}, year = {1998}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1998/596}, ISBN = {1852330104}, publisher = {Springer-Verlag}, }