@inproceedingsGre2015, 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} @COMMENTBibtex file generated on