Block-Based Models and Theorem Proving in Model-Based Development

Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri. Block-Based Models and Theorem Proving in Model-Based Development. ECEASST, 79, 2020. [doi]

@article{BernardeschiDFP20,
  title = {Block-Based Models and Theorem Proving in Model-Based Development},
  author = {Cinzia Bernardeschi and Andrea Domenici and Adriano Fagiolini and Maurizio Palmieri},
  year = {2020},
  doi = {10.14279/tuj.eceasst.79.1116},
  url = {https://doi.org/10.14279/tuj.eceasst.79.1116},
  researchr = {https://researchr.org/publication/BernardeschiDFP20},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {79},
}