Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Rice's theorem
Publications
Program Analysis is Harder than Verification: A Computability Perspective
Patrick Cousot
,
Roberto Giacobazzi
and
Francesco Ranzato
EasyChair Preprint 365
Copyright © 2012-2024 easychair.org. All rights reserved.