Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

1 Résultat
authFullName_s : Indranil Saha

MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design

Arunkumar S , Dominique Méry , Indranil Saha , Lijun Zhang
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2021, Virtual, China. ACM, 2021, 978-1-4503-9127-6. ⟨10.1145/3487212⟩
Proceedings hal-03529572v1