Items where authors include "Feliachi, A."

Jump to: Monograph
Number of items: 1.

Monograph

Brucker, A.D. orcid.org/0000-0002-6355-1200, Brügger, L., Feliachi, A. et al. (6 more authors) (2016) HOL-TestGen 1.8.0 User Guide. Report. CNRS – Université de Paris Sud , Orsay, France.

This list was generated on Tue Apr 1 23:42:36 2025 BST.