Contact: psw12@inf.puc-rio.brPROGRAM COMMITTEE---Alexander Paar, TWT Science and InnovationAndy Gordon, Microsoft ResearchAxel Polleres, SiemensDaniel Oberle, SAPDon Syme, Microsoft ResearchGerd Gröner, University of Koblenz-LandauHaym Hirsh, Rutgers University...
Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 735)) 151 Accesses Abstract The work presented here has its focus on the formal construction of programs out of non-constructive specifications involving quantifiers. This is accomplished by means of an extended abstract alg...
60.Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio) Rio de Janeiro Brazil associated to 2; 5.Università di Pisa Pisa Italy; 22.Sezione INFN di Padova Padova Italy; 27.AGH - University of Science and Technology Faculty of Physics and Applied Computer Science Krak...