[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository

✍ Scribed by Freitas, Leo; Mokos, Konstantinos; Woodcock, Jim

• Book ID: 120036658
• Publisher: IEEE
• Year: 2007
• Tongue: English
• Weight: 150 KB
• Category: Article
• ISBN-13: 9780769528953
• DOI: 10.1109/ICECCS.2007.45