Formal Specifications for Java's Synchronisation Classes.
| Autor: | Amighi, Afshin, Blom, Stefan, Huisman, Marieke, Mostowski, Wojciech, Zaharieva-Stojanovski, Marina |
|---|---|
| Zdroj: | 2014 22nd Euromicro International Conference on Parallel, Distributed & Network-Based Processing; 01/01/2014, p725-733, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|