Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhiming Liu, Jim Woodcock, Huibiao Zhu, editors, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Volume 8051 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Conference: BIRTHDAY2013

This author has not been identified. Look up 'Zhiming Liu' in GoogleThis author has not been identified. Look up 'Jim Woodcock' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in Google

runs on WebDSL