Advances in formal methods.

Bibliographic Details

Format:	Serial
Language:	English
Published:	Dordrecht, Netherlands : Kluwer Academic, 2000-
Subjects:	Formal methods (Computer science)
Online Availability: