Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Zhiming Liu; Jim Woodcock; Huibiao Zhu

doi:10.1007/978-3-642-39721-9

Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	Undefined/Unknown
Pages	1-292
Number of pages	292
DOIs	https://doi.org/10.1007/978-3-642-39721-9
Publication status	Published - 2013

Access to Document

10.1007/978-3-642-39721-9

http://dx.doi.org/10.1007/978-3-642-39721-9

Cite this

@conference{2c2a6c7c817b4af9998e84ec2f45bd84,

title = "Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures",

author = "Zhiming Liu and Jim Woodcock and Huibiao Zhu",

year = "2013",

doi = "10.1007/978-3-642-39721-9",

language = "Undefined/Unknown",

pages = "1--292",

}

TY - CONF

T1 - Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

AU - Liu, Zhiming

AU - Woodcock, Jim

AU - Zhu, Huibiao

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-39721-9

DO - 10.1007/978-3-642-39721-9

M3 - Paper

SP - 1

EP - 292

ER -