Is it vacuous to check redundancy, or is it redundant to check vacuity?
Saved in:
| Title: | Is it vacuous to check redundancy, or is it redundant to check vacuity? |
|---|---|
| Authors: | Henkel, Elisabeth1, henkele@informatik.uni-freiburg.de, Hauff, Nico1, hauffn@informatik.uni-freiburg.de, Langenfeld, Vincent1, langenfv@informatik.uni-freiburg.de, Funk, Lena1, lenaf@tf.uni-freiburg.de, Podelski, Andreas1, podelski@informatik.uni-freiburg |
| Source: | Requirements Engineering; Jun2025, Vol. 30 Issue 2, p173-194, 22p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 09473602 |
|---|---|
| DOI: | 10.1007/s00766-025-00438-5 |
