OpenAlex
Weakest Preconditions for High-Level Programs
Work
Year: 2006
Type: book-chapter
Source: Lecture notes in computer science
Authors Annegret Habel, Karl‐Heinz Pennemann, Arend Rensink
Institutions Carl von Ossietzky Universität Oldenburg, University of Twente
Cites: 40
Cited by: 48
Related to: 10
FWCI: 4.245
Citation percentile (by year/subfield): 94.45
Topic: Formal Methods in Verification
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed