↓ Skip to main content

Logic of Programming and Calculi of Discrete Design

Overview of attention for book
Attention for Chapter 11: Algebraic Specifications and Proofs for Communicating Sequential Processes
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 Mendeley