Static determination of dynamic properties of programs
Year: 1976
Type: article
Authors: Patrick Cousot, Radhia Cousot
Institution: École Polytechnique
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W60370665