Brett Welch

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Edward Chan, Ken Robinson, Brett Welch: Patterns for B: Bridging Formal and Informal Development. B 2007: 125-139

2007
1	EE	Edward Chan, Ken Robinson, Brett Welch: Patterns for B: Bridging Formal and Informal Development. B 2007: 125-139

Coauthor Index

1 Edward Chan [1]

2 Ken Robinson (Kenneth Arthur Robinson) [1]