Formal methods in system design [electronic resource].
Netherlands : Kluwer Academic Publishers
[Dordrecht] : Springer Netherlands
Mode of access: World Wide Web.
Description based on: Vol. 1, no. 1 (July 1992); title from journal contents page (SpringerLink, viewed Nov. 5, 2009).
Latest issue consulted: Vol. 35, no. 2 (Oct. 2009) (SpringerLink, viewed Nov. 5, 2009).
Refereed/Peer-reviewed
System design
Integrated circuits
Systèmes, Conception de