Compositional Analysis Using Component-Oriented Interpolation
Published in Lecture notes in computer science • Jan 1, 2015
NobleIDNI2P97W68R12S76
Authors:,,
Viet Yen Nguyen
Benjamin Bittner
Joost-Pieter Katoen
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!