Títulos similares: Verificación formal para software industrial para aplicaciones de seguridad crítica :
- Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013 : Revised Selected Papers /
- Practical Software Testing : A Process-Oriented Approach /
- Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /
- Software Testing /
- Software Testing /
- Optimization of Electrical Validation and Debug Time in Reference Clocks /