Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Hi-index | 0.00 |