Next:
Rationale
Up:
The Bandera Specification Language
Previous:
Design Rationale
The Assertion Sublanguage
Rationale
Syntax and informal semantics
Implementation issues
Roby Joehanes
Wed Mar 7 18:30:51 CST 2001