Gibbons, Jeremy.

Overview

Works:	3 works in 5 publications in 1 languages

Titles

Teaching formal methodssecond international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (1998 :); Gibbons, Jeremy.; Oliveira, Jose Nuno.; SpringerLink (Online service) (Electronic resources)

Functional and logic programming17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024 : proceedings / by: (1998 :); Gibbons, Jeremy.; Miller, Dale.; SpringerLink (Online service) (Electronic resources)

Bidirectional transformationsInternational Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures / by: (1998 :); Gibbons, Jeremy.; SpringerLink (Online service); Stevens, Perdita. (Electronic resources)

Mathematics of program construction11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings / by: (1998 :); Gibbons, Jeremy.; Nogueira, Pablo.; SpringerLink (Online service) (Electronic resources)

Generic and indexed programmingInternational Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures / by: (1998 :); Gibbons, Jeremy.; SpringerLink (Online service) (Electronic resources)

Foundations of health information engineering and systemsthird International Symposium, FHIES 2013, Macau, China, August 21-23, 2013 : revised selected papers / by: (1998 :); Gibbons, Jeremy.; MacCaull, Wendy.; SpringerLink (Online service) (Electronic resources)

Subjects