Assertion and Proof (Book of Abstracts)

Ciro De Florio, Massimiliano Carrara, Daniele Chiffi

Research output: Book/ReportBook


This is the book of abstracts for the International Conference held at Lecce University Assertion and Proof
Original languageEnglish
PublisherLulu Press
Number of pages37
ISBN (Print)978-1-79472-110-4
Publication statusPublished - 2019


  • Assertion
  • Proof


Dive into the research topics of 'Assertion and Proof (Book of Abstracts)'. Together they form a unique fingerprint.

Cite this