By the same authors

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

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2013
Number of pages422
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations