000 00525nab a2200157Ia 4500
008 230808s1992 |||||||f |||| 00| 0 eng d
100 _aliao, Yingsha
_9789805
100 _aCohen, Donald
_9789806
245 2 _aA Specificational Approach to High Level Program Monitoring and Measuring
300 _a969-978 p.
650 _aAutomatic Programmaing
_9783338
650 _aInstrumentation
650 _aProgram Trans Formations
_9783719
773 _d1992
_tIEEE Transactions on Software Engineering
_x00985589
942 _cART
_o51
_pABUL KALAM Library
999 _c749842
_d749842