PostB: The Post-condition Extension onto the B-Method.

Shuaiqiang Wang, Ying Li, Guodong Huang

Browse the full SERA paper archive.