1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Technology (TSAT): Chat -- Tool Support for Model Checking of Web Application Designs -- Developing eBusiness...