Browsing "04. Mühendislik Fakültesi / Faculty of Engineering" by Subject Formalization
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| Nov-2015 | Boolean differentiation for formalizing myers' cause-effect graph testing technique | Ayav, Tolga ; Belli, Fevzi |