D. Berner, S. Suhaib, S. Shukla, J.P. Talpin. Capturing formal specifications into abstract models, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004.
David Berner
Jean-Pierre Talpin
@InCollection{Kluwer04c,
Author = {Berner, D. and Suhaib, S. and Shukla, S. and Talpin, J.P.},
Title = {Capturing formal specifications into abstract models, chapter in Formal Methods and Models for System Design},
BookTitle = {Formal Methods and Models for System Design},
Publisher = {Kluwer Academic Publishers},
Year = {2004}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.