Logic-Based Program Synthesis and Transformation - Université de La Réunion
Books Year : 2019

Logic-Based Program Synthesis and Transformation

No file

Dates and versions

hal-02293707 , version 1 (21-09-2019)

Identifiers

  • HAL Id : hal-02293707 , version 1

Cite

Frédéric Mesnard, Peter J Stuckey (Dir.). Logic-Based Program Synthesis and Transformation. 2019. ⟨hal-02293707⟩
34 View
0 Download

Share

More