Skip to Main content Skip to Navigation
Conference papers

How to Verify Dynamic Properties of Information Systems

Abstract : no abstract
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01224670
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:51 PM
Last modification on : Wednesday, February 10, 2021 - 12:30:02 PM

Identifiers

  • HAL Id : hal-01224670, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

97