Dines Bjørner. Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China. In Cliff B. Jones, Ji Wang, Naijun Zhan, editors, Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Volume 11180 of Lecture Notes in Computer Science, pages 61-84, Springer, 2017. [doi]
Abstract is missing.