Work

Interactive Theorem Proving and Program Development

Year: 2004

Type: book

Source: Texts in theoretical computer science

DOI: 10.1007/978-3-662-07964-5

Authors: Yves Bertot, Pierre Castéran

Institutions: Institut national de recherche en sciences et technologies du numérique, Laboratoire Bordelais de Recherche en Informatique, Université Bordeaux-I

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1553511155

FWCI: 75.62

Cites:

Cited by: 2,017

Related to: 10