Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2011 | Conference Paper | LibreCat-ID: 20958
Holtmann, Jörg, Jan Meyer, and Markus von Detten. “Automatic Validation and Correction of Formalized, Textual Requirements.” In 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011. https://doi.org/10.1109/icstw.2011.17.
LibreCat
| DOI