Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Orna Grumberg Michael Kaminski Shmuel Katz Shuly Wintner Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday 5533 2009 http://dx.doi.org/10.1007/978-3-642-01748-3 978-3-642-01747-6 Languages: From Formal to Natural Lecture Notes in Computer Science Springer db/conf/birthday/francez2009.html