Items where authors include "Krieger, M.P."

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.

Brucker, A.D., Brügger, L., Krieger, M.P. et al. (1 more author) (2012) HOL-TestGen 1.7.0 User Guide. Report. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France. (Unpublished)

Brucker, A.D., Brügger, L., Krieger, M.P. et al. (1 more author) (2010) HOL-TestGen 1.5.0 User Guide. Report. ETH Zurich. (Unpublished)