×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–12)

100
MathJax
Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 166-195 (2013).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI