Cited By
View all- Lakshmi Narasimhan VKrishna R(2024)Panorama: A Multi-language Software Information Prospecting FacilityICT: Innovation and Computing10.1007/978-981-99-9486-1_11(141-154)Online publication date: 18-Apr-2024
- Bollin A(2011)Is there evolution before birth? deterioration effects of formal Z specificationsProceedings of the 13th international conference on Formal methods and software engineering10.5555/2075089.2075098(66-81)Online publication date: 26-Oct-2011
- Roci ADavidrajuh R(2020)A New Dynamic Algorithm for Petri Nets Slicing2020 IEEE 14th International Conference on Application of Information and Communication Technologies (AICT)10.1109/AICT50176.2020.9368613(1-7)Online publication date: 7-Oct-2020
- Show More Cited By