Work

Specification and Verification using Higher-Order Logic

Year: 1985

Type: conference-paper

Source: Kent Academic Repository (University of Kent)

Authors: Keith Hanna, Neil Daeche

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W47501553

FWCI: 1.875

Cites:

Cited by: 34

Related to: 10