DBLP:conf_isola_ShahbazG07

Muzammil Shahbaz, Roland Groz. Using Invariant Detection Mechanism in Black Box Inference. In ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007, Yamine A\"\it Ameur, Frédéric Boniol, Virginie Wiels (eds.), Revue des Nouvelles Technologies de l'Information, Volume RNTI-SM-1, Pages 215-222, 2007.

Contact

Muzammil Shahbaz
Roland Groz

BibTex Reference

@InProceedings{DBLP:conf_isola_ShahbazG07,
   Author = {Shahbaz, Muzammil and Groz, Roland},
   Title = {{Using Invariant Detection Mechanism in Black Box Inference}},
   BookTitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007},
   editor = {A\"\it Ameur, Yamine and Boniol, Frédéric and Wiels, Virginie},
   Volume = {RNTI-SM-1},
   Pages = {215--222},
   Series = {Revue des Nouvelles Technologies de l'Information},
   Publisher = {Cépaduès-Éditions},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)