@inproceedings{Gre2015,
Author = {Gregor Nitsche and Kim Grüttner},
Title = {AMS-/EF-Contracts - A Proposal of Contracts for AMS-Verification and AMS-Coverage-Analysis},

Year = {2015},
Month = {9},
Booktitle = {Proceedings of the 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }