Article citationsMore>>

Constant, C., Jeron, T., Marchand, H. and Rusu, V. (2007) Integrating Formal Verification and Conformance Testing for Reactive Systems. IEEE Transactions on Software Engineering, 33, 558-574.
http://dx.doi.org/10.1109/TSE.2007.70707

has been cited by the following article: