Zhi Li 0017, Jon G. Hall, Lucia Rapanotti. From requirements to specifications: a formal approach. In Jon G. Hall, Lucia Rapanotti, Karl Cox, Zhi Jin, editors, Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, IWAAPF '06, Shanghai, China, May 23, 2006. pages 65-70, ACM, 2006. [doi]
Abstract is missing.