Editorial

Richard Freeman Paige^*, Phillip J. Brooke, Jin Song Dong, James Woodcock

^*Corresponding author for this work

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Editorial › peer-review

Access to Document

@article{1bb4e0abbc6642eeaef8247ad10311bd,

title = "Editorial",

author = "\{Freeman Paige\}, Richard and Brooke, \{Phillip J.\} and \{Song Dong\}, Jin and James Woodcock",

year = "2009",

month = jun,

day = "16",

doi = "10.1007/s00165-009-0113-z",

language = "English",

volume = "21",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery",

number = "4",

}