Martin Büchi

	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

Coauthor Index

1	Ralph-Johan Back	[2] [5]
2	Emil Sekerinski	[1] [2] [6]
3	Wolfgang Weck	[3] [7]

Colors in the list of coauthors