© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Restructuring software: A case study
T.R. Hopkins
SPE, 26(8):182-196, August 1996.Bibtex Record
@article{525,
author = {Hopkins, T.R.},
title = {Restructuring Software: A Case Study},
month = {August},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/525},
journal = {SPE},
number = {8},
volume = {26},
}