about this paper

presentation bibitem

downloads

slides paper editor link
Jérôme Feret.
Formal Model Reduction.

In Proceedings of the 18th International Symposium on Static Analysis, SAS'11, Venice, Italy USA, Sept 14--16, 2011, E. Yahav (Ed.), Lecture Notes in Computer Science 6887, p. 6.
© Springer, Berlin, Germany.
@INPROCEEDINGS{feret:sas11,
  author    = {J{\'e}r{\^o}me Feret},
  title     = {Formal Model Reduction},
  booktitle = {Eighteenth International Static Analysis Symposium (SAS'11)},
  year      = {2011},
  pages     = {6},
  series = {LNCS},
  publisher = {Springer},
  number = {6887},
  editor    = {Eran Yahav},
}