Use of formal methods by a silicon manufacturer

  • Authors:

  • David May

  • Affiliations:

  • -

  • Venue:
  • Developments in concurrency and communication
  • Year:
  • 1991

  • CSP, occam and transputers

    CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years

Quantified Score

Hi-index 0.00

Visualization

Abstract