Search or ask a question
Pricing
Login
Sign up
Home
Notebook
Profile
Citation booster
Literature Review
Copilot
Citation generator
Paraphraser
AI Detector
Chrome Extension
Talk with us
Use on ChatGPT
Home
/
Authors
/
Radhia Cousot
/
1982
Showing papers by "Radhia Cousot published in 1982"
PDF
Open Access
Year
Type
Authors (1)
Institutions
Topics
Journals & Conferences
Clear filters
Sort by:
Citation Count
Induction principles for proving invariance properties of programs
[...]
Patrick Cousot
,
Radhia Cousot
01 Jan 1982
Go to Paper
25
citations
Save
Cite
Share