The DeCCo Project Papers IV: Z Specification of Linker and Hexer

Research output: Book/Report › Other report

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

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

Access to Document

@book{0b7f1e4289ed4505ae5bd32265ec971f,

title = "The DeCCo Project Papers IV: Z Specification of Linker and Hexer",

author = "Susan Stepney",

year = "2003",

month = jun,

day = "1",

language = "Undefined/Unknown",

volume = "YCS-2002-361",

series = "Computer Science Technical Report Series",

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

}