Skip to main navigation Skip to search Skip to main content

A three-valued Hoare calculus

  • V Bono
  • , Manfred Kerber

Research output: Contribution to conference (unpublished) › Abstract

Original languageEnglish
Publication statusPublished - 1 Jan 2004
Event11th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice - , United Kingdom
Duration: 31 Mar 2004 → 1 Apr 2004

Conference

Conference11th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Country/TerritoryUnited Kingdom
Period31/03/04 → 1/04/04

Cite this