Items where authors include "Tuong, F."

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., Tuong, F. and Wolff, B. (2015) Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Report. LRI, Univ Paris Sud, CNRS, Centrale Supélec, Université Paris-Saclay, France. (Unpublished)

Brucker, A.D., Longuet, D., Tuong, F. et al. (1 more author) (2013) On the Semantics of Object-oriented Data Structures and Path Expressions (Extended Version). Report. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France. (Unpublished)

Proceedings Paper

Brucker, A.D. orcid.org/0000-0002-6355-1200, Cabot, J., Daniel, G. et al. (6 more authors) (2016) Recent Developments in OCL and Textual Modelling. In: Brucker, A.D., Cabot, J. and Herrera, AS.-B., (eds.) Proceedings of International Workshop on OCL and Textual Modeling (OCL 2016). 16th International Workshop on OCL and Textual Modeling, October 2, 2016, Saint-Malo, France. CEUR-WS.org , pp. 157-165.