Work

Hoare Logic, Executable Specifications and Logic Programs.

Year: 1992

Type: article

Author: Norbert E. Fuchs

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W30930445

FWCI: 1.127

Cites: 13

Cited by: 3

Related to: 10