https://hal.archives-ouvertes.fr/hal-01224670 Contributor : Régine LaleauConnect in order to contact the contributor Submitted on : Wednesday, November 4, 2015 - 10:50:51 PM Last modification on : Friday, March 11, 2022 - 3:08:08 PM
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier. How to Verify Dynamic Properties of Information Systems. 2nd IEEE International Conference on Software Engineering and Formal Methods, 2004, Beijing, China. pp.416--425. ⟨hal-01224670⟩