Paul Boca

According to our database¹, Paul Boca authored at least 5 papers between 2001 and 2009.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2009

Personal recollections of Peter Landin: 1987-2009.

[BibT_eX]

[DOI]

Paul Boca

High. Order Symb. Comput., 2009

Editorial.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2009

Formal Versus Agile: Survival of the Fittest.

[BibT_eX]

[DOI]

Computer, 2009

2008

ABZ2008 VSR-Net Workshop.

[BibT_eX]

[DOI]

Jim Woodcock

Paul Boca

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2001

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

[BibT_eX]

[DOI]

Proceedings of ASP-DAC 2001, 2001

Paul Boca

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...