The DeCCo Project Papers I: Z Specification of Pasp

Research output: Book/Report › Other report

Original language	Undefined/Unknown
Publisher	Department of Computer Science, University of York
Volume	YCS-2002-358
Publication status	Published - 1 Jun 2003

Name	Computer Science Technical Report series
Publisher	Department of Computer Science, University of York
Volume	YCS-2002-358

Access to Document

@book{3996c5aa6daa4c1990c60bbfdb35bf21,

title = "The DeCCo Project Papers I: Z Specification of Pasp",

author = "Susan Stepney and Nabney, {Ian T.}",

year = "2003",

month = jun,

day = "1",

language = "Undefined/Unknown",

volume = "YCS-2002-358",

series = "Computer Science Technical Report series",

publisher = "Department of Computer Science, University of York",

}