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
/
1980
Showing papers by "Radhia Cousot published in 1980"
PDF
Open Access
Year
Type
Authors (1)
Institutions
Topics
Journals & Conferences
Clear filters
Sort by:
Citation Count
Book Chapter
•
DOI
•
Semantic Analysis of Communicating Sequential Processes (Shortened Version)
[...]
Patrick Cousot
1
,
Radhia Cousot
2
•
Institutions (2)
Metz
1
,
Centre national de la recherche scientifique
2
14 Jul 1980
Go to Paper
43
citations
Save
Cite
Share
Constructing program invariance proof methods
[...]
Patrick Cousot
,
Radhia Cousot
01 Jan 1980
Go to Paper
4
citations
Save
Cite
Share