![](/img/cover-not-exists.png)
[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - Towards a theory for integration of mathematical verification and empirical testing
Lowry, M., Boyd, M., Kulkami, D.Year:
1998
Language:
english
DOI:
10.1109/ase.1998.732690
File:
PDF, 1.89 MB
english, 1998