The Attributed-Behavior Abstraction and Synthesis Tools

doi 10.1145/196244.196552
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press