Projects per year
Original language | English |
---|---|
Title of host publication | Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday |
Pages | 82-99 |
Volume | 8051 LNCS |
DOIs | |
Publication status | Published - 2013 |
Projects
- 1 Finished
-
ProCLaws: Programming from Control Laws
1/07/07 → 30/09/11
Project: Research project (funded) › Research