| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 7 |      | Martin Büchi, Wolfgang Weck: Generic Wrappers. ECOOP 2000: 201-225 |
| 6 | | Martin Büchi, Emil Sekerinski: A Foundation for Refining Concurrent Objects. Fundam. Inform. 44(1-2): 25-61 (2000) |
| 1999 | ||
| 5 | | Martin Büchi, Ralph-Johan Back: Compositional Symmetric Sharing in B. World Congress on Formal Methods 1999: 431-451 |
| 1998 | ||
| 4 | | Martin Büchi: The B Bank: A Complete Case Study. ICFEM 1998: 190-199 |
| 3 | | Martin Büchi, Wolfgang Weck: Compound Types for Java. OOPSLA 1998: 362-373 |
| 1997 | ||
| 2 | | Ralph-Johan Back, Martin Büchi, Emil Sekerinski: Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262 |
| 1 | | Martin Büchi, Emil Sekerinski: Formal Methods for Component Software: The Refinement Calculus Perspective. ECOOP Workshops 1997: 332-337 |
| 1 | Ralph-Johan Back | [2] [5] |
| 2 | Emil Sekerinski | [1] [2] [6] |
| 3 | Wolfgang Weck | [3] [7] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page