Book review: Specification and Proof in Real Time CSP

Article Properties

• Language

  English
• DOI (url)

  10.1049/sej.1994.0017
• Publication Date

  1994/01/01
• Journal

  Software Engineering Journal
• Indian UGC (journal)
• David Scholefield