Theories of Programming and Formal Methods
Subtitle: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Publisher: Springer
Published: 2013
Language: eng
ISBN-13: 9783642396984