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
/
1984
Showing papers by "Radhia Cousot published in 1984"
PDF
Open Access
Year
Type
Authors (1)
Institutions
Topics
Journals & Conferences
Clear filters
Sort by:
Citation Count
Invariance proof methods and analysis techniques for parallel programs
[...]
Patrick Cousot
,
Radhia Cousot
01 Jan 1984
Go to Paper
46
citations
Save
Cite
Share
