The Automated Transformation of Abstract Specifications

S. Fitzpatrick, T. Harmer, Henry Stewart, M. Clint, J. Boyle

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-41
Number of pages	41
Journal	Science of Computer Programming
Volume	28 (1)
Publication status	Published - 1997

Cite this

@article{f0f91cda051d4ad6b6a1d53be00f730e,

title = "The Automated Transformation of Abstract Specifications",

author = "S. Fitzpatrick and T. Harmer and Henry Stewart and M. Clint and J. Boyle",

year = "1997",

language = "English",

volume = "28 (1)",

pages = "1--41",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

}