Formally specifying CARA in Java

✍ Scribed by Eugene W. Stark

• Publisher: Springer
• Year: 2004
• Tongue: English
• Weight: 489 KB
• Volume: 5
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s10009-003-0124-7