Login / Signup

More Flexible Object Invariants with Less Specification Overhead.

Stefan HusterPatrick HeckelerHanno EichelbergerJürgen RufSebastian BurgThomas KropfWolfgang Rosenstiel
Published in: SEFM (2014)
Keyphrases