Search alternatives:
"cycling" » "recycling"
Cover Image
Read Now

1
Published 1998
Springer Vienna
Table of Contents: “... in Integrating Formal Methods into the HCl Development Cycle -- The Role of Verification in Interactive Systems...”