Formal methods in system design

Date :

Editeur / Publisher : London : Kluwer Academic Publishers , 1992-

Type : Périodique / Serial

Langue / Language : anglais / English

Catalogue Worldcat

Relation : Formal methods in system design / Dordrecht : Kluwer , 2002-