test_moissonnage_selune
type: Agent

Proceedings 1st Workshop on Formal Integrated Development Environment
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: books
keyword: infoeu-reposemanticsbook
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
landing page: https://inria.hal.science/hal-00987531
description: International audience
issued: 2026-05-05T12:03:33.498691
language: en
modified: 2026-05-05T12:03:33.498695

Proceedings 1st Workshop on Formal Integrated Development Environment
type: Distribution
access URL: https://inria.hal.science/hal-00987531
format: HTML
issued: 2026-05-05T12:03:33.499941
modified: 2026-05-05T12:03:33.492235