Original languageEnglish
Pages (from-to)470-483
Number of pages14
JournalProgramming and Computer Software
Volume49
Issue number5
DOIs
Publication statusPublished - Oct 2023

    Research areas

  • Event-B, automata-based programming, deductive verification, functional programming, refinement, requirement, transformations of programs

    OECD FOS+WOS

  • 1.02 COMPUTER AND INFORMATION SCIENCES

ID: 59548859