Assertion and Proof (Book of Abstracts)

Research output: Book/Report › Book

Abstract

This is the book of abstracts for the International Conference held at Lecce University Assertion and Proof

@book{a694a6bb14064e8e9fe0dd904488706b,

title = "Assertion and Proof (Book of Abstracts)",

abstract = "This is the book of abstracts for the International Conference held at Lecce University Assertion and Proof",

keywords = "Assertion, Proof, Assertion, Proof",

author = "\{De Florio\}, Ciro and Massimiliano Carrara and Daniele Chiffi",

year = "2019",

language = "English",

isbn = "978-1-79472-110-4",

publisher = "Lulu Press",

}

TY - BOOK

T1 - Assertion and Proof (Book of Abstracts)

AU - De Florio, Ciro

AU - Carrara, Massimiliano

AU - Chiffi, Daniele

PY - 2019

Y1 - 2019

N2 - This is the book of abstracts for the International Conference held at Lecce University Assertion and Proof

AB - This is the book of abstracts for the International Conference held at Lecce University Assertion and Proof

KW - Assertion

KW - Proof

KW - Assertion

KW - Proof

UR - http://hdl.handle.net/10807/143576

M3 - Book

SN - 978-1-79472-110-4

BT - Assertion and Proof (Book of Abstracts)

PB - Lulu Press

ER -