Paul Boca

	2009
6		Paul Boca, Raymond T. Boute, David Duce, José Oliveira: Editorial. Formal Asp. Comput. 21(3): 225 (2009)
5		Paul Boca: Personal recollections of Peter Landin: 1987-2009. Higher-Order and Symbolic Computation 22(4): 299-303 (2009)
4		Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey: Formal Versus Agile: Survival of the Fittest. IEEE Computer 42(9): 37-45 (2009)
	2008
3		Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings Springer 2008
2		Jim Woodcock, Paul Boca: ABZ2008 VSR-Net Workshop. ABZ 2008: 378-379
	2001
1		Takashi Kambe, Akihisa Yamada, Koichi Nishida, Kazuhisa Okada, Mitsuhisa Ohnishi, Andrew Kay, Paul Boca, Vince Zammit, Toshio Nomura: A C-based synthesis system, Bach, and its application (invited talk). ASP-DAC 2001: 151-155

Coauthor Index

1	Sue Black	[4]
2	Egon Börger	[3]
3	Raymond T. Boute	[6]
4	Jonathan P. Bowen	[3] [4]
5	Michael J. Butler	[3]
6	David Duce	[6]
7	Jason Gorman	[4]
8	Michael G. Hinchey (Mike Hinchey)	[4]
9	Takashi Kambe	[1]
10	Andrew Kay	[1]
11	Koichi Nishida	[1]
12	Toshio Nomura	[1]
13	Mitsuhisa Ohnishi	[1]
14	Kazuhisa Okada	[1]
15	José Oliveira	[6]
16	Jim Woodcock (J. C. P. Woodcock)	[2]
17	Akihisa Yamada	[1]
18	Vince Zammit	[1]

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