1. Editorial. (May 2016) Authors: Merz, Stephan; Pang, Jun; Dong, Jin Journal: Formal aspects of computing Issue: Volume 28:Number 3(2016) Page Start: 343 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Editorial. (May 2016) Authors: Merz, Stephan; Pang, Jun; Dong, Jin Journal: Formal aspects of computing Issue: Volume 28:Number 3(2016) Page Start: 343 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Editorial. (September 2016) Authors: Merz, Stephan; Pang, Jun; Dong, Jin Journal: Formal aspects of computing Issue: Volume 28:Number 5(2016) Page Start: 723 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗