Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Shengchao Qin
Shengchao Qin
McLaughlin, Colm; Bridgman, Todd
John M. Opitz; John C. Carey
Agnes Korn
Robert E. Wyatt
Kuramoto, M; Kawashima, N; Tazawa, K; Nara, K; Fujii, M; Noda, S; Hashimoto, K; Nozaki, K; Okiji, T
Jean-Paul Kimonyo
Gabriel Baptista,Francesco Abbruzzese
Forster, Evan;Thomas, David St. John
Nicholas Mangee
Marshall Copeland,Julian Soh,Anthony Puca,Mike Manning,David Gollob (auth.)
Anna Visvizi;Miltiadis D. Lytras;Linda Daniela
Vincent Guinot(auth.)
Sharma, Nonita ;Dev, Jaiditya ;Mangla, Monika ;Wadhwa, Vaishali Mehta ;Mohanty, Sachi Nandan ;Kakkar, Deepti
Jennifer Paull,Christopher Culwell
Stefanos Trachanas,Manolis Antonoyiannakis,Leonidas Tsetseris
Faiz Gallouj
Eric Lengyel
Chris Eidhof,Florian Kugler,Wouter Swierstra
Donald Bloxham
Instaread
Anshul Saxena
Carol Loomis
James Phoenix,Mike Taylor
Nonaka, Ikujiro; Hirose, Ayano; Takeda, Yusaku
William “Bo” Rothwell
Aditya Khamparia (editor);Rubaiyat Hossain Mondal (editor);Prajoy Podder (editor);Bharat Bhushan (editor);Victor Hugo C. de Albuquerque (editor);Sachin Kumar (editor)
John Canfield
Marek Rogozinski,Rafal Kuc
Paul Ricoeur,John B. Thompson