Certifying the reliability of software
IEEE Transactions on Software Engineering
Ada compiler validation: an example of software testing theory and practice
Proc. of the CRAI Workshop on Software Factories and Ada on System development and Ada
Hi-index | 0.00 |