Axioms and proof rules for Ada tasks: Barringer, H and Mearns, IIEE Proc.-E Comput. Dig. Techn. Vol 129 No 2 (March 1982) pp 38–48

• Book ID: 107890862
• Publisher: Elsevier Science
• Year: 1982
• Tongue: English
• Weight: 115 KB
• Volume: 6
• Category: Article
• ISSN: 0141-9331
• DOI: 10.1016/0141-9331(82)90510-5