Formal Methods:: The very idea, some thoughts about why they work when they work

✍ Scribed by Daniel M. Berry

• Book ID: 108498164
• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 467 KB
• Volume: 25
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(04)00127-6