dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Uwe Glässer (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday Springer 2009
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: 06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: 06191 Summary -- Rigorous Methods for Software Construction and Analysis. Rigorous Methods for Software Construction and Analysis 2007
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Raymond Abrial, Uwe Glässer: Rigorous Methods for Software Construction and Analysis, 07.05. - 12.05.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Selection of 4 from 57 records - Uwe Glässer has 66 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page