Formal Analysis of Objects State Changes and Transitions.

Uldis Donins, Janis Osis, Erika Asnina, Asnate Jansone

Browse the full ENASE paper archive.