A Weaker Precondition for Loops
Work
Year: 1982
Type: article
Author H.J. Boom
Institution Concordia University
Cites: 4
Cited by: 36
Related to: 10
FWCI: 1.248
Citation percentile (by year/subfield): 89.1
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: closed