mural: A Formal Development Support System

CB Jones, Kevin Jones, Peter Lindsay, R. D. Moore

Research output: Book/Report › Book › peer-review

Original language	English
Publisher	Springer Science + Business Media
ISBN (Print)	9781447131809
Publication status	Published - 6 Dec 2012

Keywords

@book{b8aa701a73f548e5a527ef95860b7574,

title = "mural: A Formal Development Support System",

keywords = "Mathematics",

author = "CB Jones and Kevin Jones and Peter Lindsay and Moore, {R. D.}",

year = "2012",

month = dec,

day = "6",

language = "English",

isbn = "9781447131809",

publisher = "Springer Science + Business Media",

address = "United States",

}