The following pages link to Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141):
Displayed 1 item.