KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Searching for a Global Search Algorithm
Automated Software Engineering
Software Construction and Analysis Tools for Future Space Missions
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |