Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Inferring Natural Preconditions via Program Transformation | ResearchHub
Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Inferring Natural Preconditions via Program Transformation
0
Authors
Elizabeth Dinella
2 more
Elizabeth Dinella
•
Shuvendu Lahiri
•
Mayur Naik
Published
July 10, 2024
Paper
Conversation
0
Reviews
0
Bounties
0
Abstract
Supporters
Support the authors with ResearchCoin
Tip RSC
Topics
Computer Science
Artificial Intelligence
Chemistry
Biochemistry
Paleontology
Show all topics
DOI
10.1145/3663529.3663865
