Livre

TestCom/FATES 2007 ...

Petrenko, A., Veanes, M., Tretmans, J. and Grieskamp, W. Proceedings of the 19th IFIP TC6/WG6.1 International Conference on Testing of Software and Communicating Systems - 7th International Workshop on Formal Approaches to Testing of Software (TestCom/FATES 2007). Berlin Heidelbreg : Springer-Verlag, 2007. 377 p. . [LNCS 4581]