1
Published 2013
Table of Contents: ... through Model Checking of Formal Description of Dialog -- Formal Pattern Specifications to Facilitate Semi...
View full text
Electronic eBook