Work

Isabelle/Isar --- a versatile environment for human-readable formal proof documents

Year: 2002

Type: article

Author: Markus Wenzel

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W178927145

FWCI: 15.31

Cites: 108

Cited by: 135

Related to: 10