A three-valued Hoare calculus

V Bono, Manfred Kerber

Research output: Contribution to conference (unpublished) › Abstract

Original language	English
Publication status	Published - 1 Jan 2004
Event	11th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice - , United Kingdom Duration: 31 Mar 2004 → 1 Apr 2004

Conference	11th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Country/Territory	United Kingdom
Period	31/03/04 → 1/04/04

Cite this