Date : 1992-
Editeur / Publisher : London : Kluwer Academic Publishers , 1992-
Type : Périodique / Serial
Langue / Language : anglais / English
Relation : Formal methods in system design / Dordrecht : Kluwer , 2002-