P. Roop, A. Girault, R. Sinha, G. Gössler. Specification Enforcing Refinement for Convertibility Verification. In Proc. ACSD'09, S. Edwards, R. Lorenz, W. Vogler (eds.), Pages 148-157, 2009.
Alain Girault http://pop-art.inrialpes.fr/people/girault/
@InProceedings{Roopetal2009,
Author = {Roop, P. and Girault, A. and Sinha, R. and Gössler, G.},
Title = {Specification Enforcing Refinement for Convertibility Verification},
BookTitle = {Proc. ACSD'09},
editor = {Edwards, S. and Lorenz, R. and Vogler, W.},
Pages = {148--157},
Publisher = {IEEE},
Year = {2009}
}
Get EndNote Reference (.ref)