More Flexible Object Invariants with Less Specification Overhead.
| Autor: | Huster, Stefan, Heckeler, Patrick, Eichelberger, Hanno, Ruf, Jürgen, Burg, Sebastian, Kropf, Thomas, Rosenstiel, Wolfgang |
|---|---|
| Zdroj: | Software Engineering & Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings; 2014, p302-316, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|