Design, Specification and Verification of Interactive Systems '95

Bok av Philippe Palanque