P. Boca

wmin . ac . uk / westminsterresearch Formal versus agile : survival of the fittest

Jonathan P. Bowen, S. Black, M. Hinchey, 2009 .

Proceedings of the 1st international conference on Abstract State Machines, B and Z

Egon Börger, Jonathan P. Bowen, Michael Butler, 2008 .

Formal Methods: State of the Art and New Directions

Jonathan P. Bowen, Jawed I. A. Siddiqi, Paul Boca, 2009 .

Formal Versus Agile: Survival of the Fittest

Jonathan P. Bowen, Michael G. Hinchey, Sue Black, 2009, Computer.

A C-based synthesis system, Bach, and its application (invited talk)

Koichi Nishida, Takashi Kambe, Toshio Nomura, 2001, ASP-DAC '01.

A C-based synthesis system, Bach, and its application

Koichi Nishida, Takashi Kambe, Toshio Nomura, 2001, Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455).