Undefined Expressions and Logic in Z and B

Bill Stoddart, Steve Dunne, Andy Galloway. Undefined Expressions and Logic in Z and B. Formal Methods in System Design, 15(3):201-215, 1999.

Abstract

Abstract is missing.