Validating and animating higher-order recursive functions in B. Submitted; preliminary version presented at Dagstuhl Seminar 06191 Rigorous Methods for Software Construction and Analysis (2006)

by Michael Leuschel , Dominique Cansell , Michael Butler , Loria Nancy
Citations:4 - 2 self