|
|||||
|
|
Testing Algebraic Data Types and Processes: A Unifying Theory |
|
| Authors: | Marie-Claude Gaudel Perry R James |
| Affiliation: | Lab. de Recherche en Informatique, Université de Paris-Sud and CNRS, Orsay, France, FR Dep. de Ciência da Computa??o, IME-Universidade de S?o Paulo, S?o Paulo, Brazil, BR |
| Abstract: | |
| Keywords: | : Black box testing Formal testing Full LOTOS |
| 本文献已被 SpringerLink 等数据库收录！ | |