Special issue: Formal techniques for Java programs

Concurrency and Computation: Practice and Experience

Volumn 13, Issue 13, 2001, Pages 1121-1123

  Eisenbach, Susan ^a   Leavens, Gary T ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b IOWA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035506091     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.595     Document Type: Editorial

References (3)

1. Formal techniques for Java programs
2. Formal underpinnings of Java