Article,

Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.

, , , and .
IEEE Trans. Software Eng., 12 (2): 278-292 (1986)

Meta data

Tags

Users

  • @dblp

Comments and Reviews