Design, Specification and Verification of Interactive Systems '98
Design, Specification and Verification of Interactive Systems '98
Panos Markopoulos
,
Peter Johnson
Details
OL Work ID
OL27379571W
Find this book
Open Library