Skip to Main content
Number of documents

2

Frédéric Tuong


"Achim Brucker"   

Conference papers1 document

  • Achim Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, et al.. Recent Developments in OCL and Textual Modelling. International Workshop on OCL and Textual Modeling (OCL 2016), Oct 2016, Saint-Malo, France. pp.157 - 165. ⟨hal-01589574⟩

Reports1 document

  • Achim Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias Krieger, et al.. HOL-TestGen Version 1.8 USER GUIDE. [Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016. ⟨hal-01765526⟩