Valentin Wüstholz Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Christakis, Peter Müller, Valentin Wüstholz: Collaborative Verification and Testing with Explicit Assumptions. FM 2012: 132-146
2011
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168

Coauthor Index

1Eyad Alkassar
[c1]
2Rob Arthan (R. D. Arthan)
[c1]
3Derek Bronish
[c1]
4Rod Chapman
[c1]
5Maria Christakis
[c2]
6Ernie Cohen
[c1]
7Mark A. Hillebrand
[c1]
8Bart Jacobs
[c1]
9Vladimir Klebanov
[c1]
10Gary T. Leavens
[c1]
11K. Rustan M. Leino
[c1]
12Rosemary Monahan
[c1]
13Peter Müller
[c2] [c1]
14Frank Piessens
[c1]
15Nadia Polikarpova
[c1]
16Tom Ridge (Thomas Ridge)
[c1]
17Natarajan Shankar
[c1]
18Jan Smans
[c1]
19Stephan Tobies
[c1]
20Thomas Tuerk
[c1]
21Mattias Ulbrich
[c1]
22Benjamin Weiß 0001
[c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 13:43:31 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page