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

George S. Avrunin, Laura K. Dillon, Jack C. Wileden, William E. Riddle. Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems. IEEE Trans. Software Eng., 12(2):278-292, 1986.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.