Reifying configuration management for object-oriented software
Proceedings of the 20th international conference on Software engineering
Xspin/Project - Integrated Validation Management for Xspin
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Hi-index | 0.00 |