Login / Signup

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

George S. AvruninLaura K. DillonJack C. WiledenWilliam E. Riddle
Published in: IEEE Trans. Software Eng. (1986)
Keyphrases