Monotonic Abstraction for Programs With Multiply-Linked Structures

International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s0129054113400078
Full Text
Abstract

Available in full text

Date
Authors
Publisher

World Scientific Pub Co Pte Lt


Related search