Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Applying Formal Methods: Testing, Performance and M-ECommerce, FORTE 2004
Авторы: Nunez M., Maamar Z., Pelayo F.
This volume contains the refereed proceedings of the first edition of three work-shops colocated with the International Conference on Formal Techniques forNetworked and Distributed Systems (FORTE). The workshops took place inToledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with dif-ferent topics related to the application of formal methods