Formal Aspects of Computing: Editorial

Formal Aspects of Computing

Volumn 20, Issue 1, 2008, Pages 1-3

  Jones, Cliff ^a   Woodcock, Jim ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC COMMERCE; SMART CARDS; UNIFIED MODELING LANGUAGE;

MONDEX SPECIFICATION; SINGLE OPERATION TRANSFER;

COMPUTATION THEORY;

EID: 37849037975     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/s00165-007-0064-1     Document Type: Article

References (0)