| 2009 |
|---|
| 4 | EE | Paul Boca,
Raymond Boute,
David Duce,
José Oliveira:
Editorial.
Formal Asp. Comput. 21(3): 225 (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 | EE | Jim Woodcock,
Paul Boca:
ABZ2008 VSR-Net Workshop.
ABZ 2008: 378-379 |
| 2001 |
|---|
| 1 | EE | 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 |
