A method for verifying concurrent Java c
✍
Brad Long; Paul Strooper; Luke Wildman
📂
Article
📅
2007
🏛
John Wiley and Sons
🌐
English
⚖ 204 KB