Comments on “Always-true is not invariant”: assertional reasoning about invariance

✍ Scribed by Jimmi S. Pettersson

• Publisher: Elsevier Science
• Year: 1991
• Tongue: English
• Weight: 344 KB
• Volume: 40
• Category: Article
• ISSN: 0020-0190
• DOI: 10.1016/0020-0190(91)90115-x