A Verification Tool Implementation using Introspection Mechanism

Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid. A Verification Tool Implementation using Introspection Mechanism. In Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings. pages 265-272, ECSI, 2006. [doi]

Authors

Michel Metzger

This author has not been identified. Look up 'Michel Metzger' in Google

Frederic Bastien

This author has not been identified. Look up 'Frederic Bastien' in Google

Frédéric Rousseau

This author has not been identified. Look up 'Frédéric Rousseau' in Google

Julie Vachon

This author has not been identified. Look up 'Julie Vachon' in Google

El Mostapha Aboulhamid

This author has not been identified. Look up 'El Mostapha Aboulhamid' in Google