Mathematics of program construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /

Subjects: “…Computer programming Mathematics Congresses.…”
Full Text (via Springer)

Unifying theories of programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised selected papers /

Subjects: Full Text (via Springer)

Programming languages and systems 18th European Symposium on Programming, ESOP 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,...

Subjects: Full Text (via Springer)

Unifying theories of programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised selected papers /

Subjects: Full Text (via Springer)

Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings /

Subjects: Full Text (via Springer)

Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 : revised selected papers /

Subjects: Full Text (via Springer)

Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers /

Subjects: Full Text (via Springer)

Unifying theories of programming : 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceeding...

Subjects: “…Computer programming Congresses. http://id.loc.gov/authorities/subjects/sh2007004295.…”
Full Text (via Springer)

Static analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /

Subjects: Full Text (via Springer)

Static analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /

Subjects: Full Text (via Springer)

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, ad...

Subjects: Full Text (via Springer)

Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /

Subjects: Full Text (via Springer)

Logic-based program synthesis and transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers /

Subjects: Full Text (via Springer)

Theoretical aspects of computing -- ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /

Subjects: Full Text (via Springer)

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings /

Subjects: Full Text (via Springer)

Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /

Subjects: Full Text (via Springer)

Mathematics of program construction 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings /

Subjects: Full Text (via Springer)

Types for proofs and programs international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers /

Subjects: Full Text (via Springer)

Types for proofs and programs international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /

Subjects: Full Text (via Springer)

Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers /

Subjects: Full Text (via Springer)