Henrick Deschamps [ɛnʁik deʃɑ̃]
Software Engineer
My research interests include Critical Distributed Systems, Systems Validation and Programming Languages
My research interests include Critical Distributed Systems, Systems Validation and Programming Languages