Formal methods in system design.

Bibliographic Details
Uniform Title:	Formal methods in system design (Online)
Format:	Journal
Language:	English
Published:	[Dordrecht] : Kluwer Academic Publishers.
Subjects:	System design > Periodicals. Systèmes, Conception de > Périodiques.
Online Availability:

Available Online