© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Editorial: Special issue on Integrated Formal Methods
Eerke A. Boiten, John Derrick, and Graeme Smith
Formal Aspects of Computing, 17(4):182-196, December 2005.Bibtex Record
@article{2352, author = {Eerke A. Boiten and John Derrick and Graeme Smith}, title = {Editorial: {S}pecial issue on {I}ntegrated {F}ormal {M}ethods}, month = {December}, year = {2005}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2005/2352}, publication_type = {article}, submission_id = {17214_1139402583}, ISSN = {0934-5043}, journal = {Formal Aspects of Computing}, volume = {17}, number = {4}, }