Formal methods in system design [electronic resource].
Netherlands : Kluwer Academic Publishers
[Dordrecht] : Springer Netherlands
Mode of access: World Wide Web.
System design
Integrated circuits
Formal methods in system design
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.