The DeCCo Project Papers II: Z Specification of Asp

Research output: Book/Report › Other report

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

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

Access to Document

@book{f33f50985f2a47a78ba6f4e3594bebe7,

title = "The DeCCo Project Papers II: Z Specification of Asp",

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

year = "2003",

month = jun,

day = "1",

language = "Undefined/Unknown",

volume = "YCS-2002-359",

series = "Computer Science Technical Report",

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

}