CA:CD07

J.-F. Couchot, F. Dadeau. Guiding the Correction of Parameterized Specifications. In 7th Int. Conf. on Integrated Formal Methods (IFM'2007), J. Davies, J. Gibbons (eds.), Pages 176-194, Oxford, UK, July 2007.

Contact

Frédéric Dadeau

BibTex Reference

@InProceedings{CA:CD07,
   Author = {Couchot, J.-F. and Dadeau, F.},
   Title = {Guiding the Correction of Parameterized Specifications},
   BookTitle = {7th Int. Conf. on Integrated Formal Methods (IFM'2007)},
   editor = {Davies, J. and Gibbons, J.},
   Pages = {176--194},
   Publisher = {Springer},
   Address = {Oxford, UK},
   Month = {July},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)