( en | de | ru )

 

Disambiguation of "Charles, Julien"

Author of the publication

copydeleteadd this publication to your clipboard
Strongest postcondition of unstructured programs.

, , , and . FTfJP@ECOOP, page 6:1-6:7. ACM, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Julien Ndinga

Julien Köhrle

Julien Bonnamour

Julien Mouysset

Julien Béthune

 

Other publications of authors with the same name

CLOPS: A DSL for Command Line Options., , , , , , and . DSL, volume 5658 of Lecture Notes in Computer Science, page 187-210. Springer, (2009)A freelancers' cooperative as a case of democratic institutional experimentation for better work: a case study of SMart-Belgium, , and . Transfer: European Review of Labour and Research, 26 (2): 157--174 (May 2020)JACK - A Tool for Validation of Security and Behaviour of Java Applications., , , , , , , and . FMCO, volume 4709 of Lecture Notes in Computer Science, page 152-174. Springer, (2006)KAMI., , , and . SIGGRAPH Video Review on Animation Theater Program, page 28. ACM, (2001)Strongest postcondition of unstructured programs., , , and . FTfJP@ECOOP, page 6:1-6:7. ACM, (2009)Introducing the Work-Enterprise Canvas as a Tool to Evaluate Job Quality (regular paper)., , , and . VMBO, volume 2835 of CEUR Workshop Proceedings, page 40-50. CEUR-WS.org, (2021)Bimanual gestural interface for virtual environments., , and . VR, page 223-224. IEEE Computer Society, (2011)What's in people's digital file collections?, and . ASIST, volume 56 of Proc. Assoc. Inf. Sci. Technol., page 68-77. Wiley, (2019)The Scale and Structure of Personal File Collections., , and . CHI, page 327. ACM, (2019)An associative index model for the results list based on Vannevar Bush's selection concept., , and . Inf. Res., (2010)