Inductive Behavioral Proofs by Unhiding

From FSL

Redirect page

Jump to: navigation, search

Behavioral Abstraction is Hiding Information

Retrieved from "http://fsl.cs.uiuc.edu/index.php/Inductive_Behavioral_Proofs_by_Unhiding"