A verification environment for sequential imperative programs in Isabelle/HOL (2005)

Cached

Download Links

by Norbert Schirmer
Venue:Logic for Programming, AI, and Reasoning, volume 3452 of LNAI
Citations:20 - 1 self