Matita Tutorial

Authors
Publication date
1 January 2014
Publisher
Doi

    Abstract

    This tutorial provides a pragmatic introduction to the main functionalities of the Matita interactive theorem prover, offering a guided tour through a set of not so trivial examples in the field of software specification and verification.\u

      Similar works

      Full text

      thumbnail-image

      Available Versions

      AlmaDL Journals

      redirect
      oaioai:journals.unibo.it:article/...
      Last time updated on 09/04/2020

      Directory of Open Access Journals

      redirect
      oaioai:doaj.org/article:4d8a6cc74...
      Last time updated on 13/10/2017

      Archivio istituzionale della ricerca - Alma Mater Studiorum Università di Bologna

      redirect
      oaioai:cris.unibo.it:11585/428166
      Last time updated on 03/09/2019

      Edinburgh Research Explorer

      redirect
      oaioai:pure.ed.ac.uk:publications...
      Last time updated on 09/08/2016