Work

Methods for teaching program verification

Year: 1975

Type: conference-paper

Source: ACM Technical Symposium on Computer Science Education (SIGCSE)

DOI: 10.1145/800284.811154

Author: Susan L. Gerhart

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: closed

OpenAlex ID: W2077694121

FWCI: 1.493

Cites: 11

Cited by: 4

Related to: 10