Paul Boca

Publication Activity (10 Years)

Years Active: 2001-2009
Publications (10 Years): 0

Publications

Paul Boca
Personal recollections of Peter Landin: 1987-2009. High. Order Symb. Comput. 22 (4) (2009)
Paul Boca, Raymond T. Boute, David Duce, José Nuno Oliveira
Editorial. Formal Aspects Comput. 21 (3) (2009)
Sue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey
Formal Versus Agile: Survival of the Fittest. Computer 42 (9) (2009)
Jim Woodcock, Paul Boca
ABZ2008 VSR-Net Workshop. ABZ (2008)
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)