Cover Image
Read Now

1
Published 1995
Springer US
Table of Contents: “... -- III Analysis -- 11 Executing Lotos Specifications: The Smile Tool -- 12 A Pragmatic Approach...”