bookLecture notes in computer scienceJan 1, 2002Closed access

Isabelle/HOL

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,537

total citations

FWCI: 10.51
Percentile: 100%
References: 2

Citations per year

Topics & keywords

Topics

Logic, programming, and type systems90%

Keywords

HOL
Computer science
Programming language

No related works found for this paper.