Special issue: Formal techniques for Java programs

Authors
Eisenbach, S Leavens, GT
Citation
S. Eisenbach et Gt. Leavens, Special issue: Formal techniques for Java programs, CONCURR COM, 13(13), 2001, pp. 1121-1123
Citations number
2
Categorie Soggetti
Computer Science & Engineering
Journal title
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
ISSN journal
15320626 → ACNP
Volume
13
Issue
13
Year of publication
2001
Pages
1121 - 1123
Database
ISI
SICI code
1532-0626(200111)13:13<1121:SIFTFJ>2.0.ZU;2-O