Paul Boca - researchr alias

researchr

You are not signed in
Sign in
Sign up

2009

Formal Versus Agile: Survival of the FittestSue Black, Paul Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey. Computer, 42(9):37-45, 2009. [doi]

EditorialPaul Boca, Raymond Boute, David Duce, José Oliveira. fac, 21(3):225, 2009. [doi]

Personal recollections of Peter Landin: 1987-2009Paul Boca. lisp, 22(4):299-303, 2009. [doi]

2008

Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. ProceedingsEgon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca, editors, Volume 5238 of Lecture Notes in Computer Science, Springer, 2008.

ABZ2008 VSR-Net WorkshopJim Woodcock, Paul Boca. asmta 2008: 378-379 [doi]

2001

A C-based synthesis system, Bach, and its application (invited talk)Takashi Kambe, Akihisa Yamada, Koichi Nishida, Kazuhisa Okada, Mitsuhisa Ohnishi, Andrew Kay, Paul Boca, Vince Zammit, Toshio Nomura. aspdac 2001: 151-155 [doi]