Interactive Systems. Design, Specification, and Verification

Bok av Gavin. Doherty