Formal aspects of computing

Date : 1989-

Editeur / Publisher : London : Springer Internat , 1989-

Type : Périodique / Serial

Langue / Language : anglais / English

FACS Specialist Group BCS (Editeur scientifique / editor)

Relation : Formal aspects of computing : applicable formal methods / editor-in-chief Cliff B. Jones / London : Springer , 199X-