Login / Signup

A Specificational Approach to High Level Program Monitoring and Measuring.

Yingsha LiaoDonald Cohen
Published in: IEEE Trans. Software Eng. (1992)
Keyphrases