How to Verify Dynamic Properties of Information Systems.

Neil Evans, Helen Treharne, Rgine Laleau, Marc Frappier

Browse the full SEFM paper archive.