"Applying Formal Methods: Testing, Performance and M-ECommerce, FORTE 2004" - читать интересную книгу автора