DOI10.1023/A:1005903504159zbMath0912.68189OpenAlexW61857497MaRDI QIDQ1272617
Jacques Chazarain, Serge Muller
Publication date: 9 March 1999 Published in: Journal of Automated Reasoning (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1023/a:1005903504159
zbMATH Keywords
automated method for program synthesis
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software