Monotonic Abstraction for Programs With Multiply-Linked Structures
International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s0129054113400078
Full Text
Open PDFAbstract
Available in full text
Categories
Date
February 1, 2013
Authors
Publisher
World Scientific Pub Co Pte Lt