Formal methods: the very idea: Some thoughts about why they work when they work

✍ Scribed by Daniel M Berry

• Book ID: 108410772
• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 141 KB
• Volume: 42
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/s0167-6423(01)00026-0