CIC-04:vasco-34

L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet. A case study in JML-based software validation (short paper). In Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04), Pages 294-297, Linz, September 2004.

Contact

Yves Ledru
Catherine Oriat

BibTex Reference

@InProceedings{CIC-04:vasco-34,
   Author = {du Bousquet, L. and Ledru, Y. and Maury, O. and Oriat, C. and Lanet, J.-L.},
   Title = {{A case study in JML-based software validation (short paper)}},
   BookTitle = {{Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04)}},
   Pages = {294--297},
   Publisher = {IEEE CS Press},
   Address = {Linz},
   Month = {September},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)