A logic for abstract state machines (0)

by R F Stärk, S Nanchen
Venue:Computer Science Logic (CSL 2001