Old Web
English
Sign In
Acemap
>
Paper
>
Safe and Verifiable Design of Multithreaded Java Programs with CSP and FDR
Safe and Verifiable Design of Multithreaded Java Programs with CSP and FDR
1998
Gardiner S. Stiles
Keywords:
Java concurrency
strictfp
Real time Java
Scala
Java Modeling Language
Programming language
Computer-aided software engineering
Java annotation
Java
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
10
References
3
Citations
NaN
KQI
[]