Refinement types for program analysis
Published in Lecture notes in computer science • Jan 1, 1996
NobleIDNI6P95W19R04S92
Authors:,,
Mario Coppo
Ferruccio Damiani
Paola Giannini
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!