The Meaning of Negative Premises in Transition System Specifications
Journal of the ACM - United States
doi 10.1145/234752.234756
Full Text
Open PDFAbstract
Available in full text
Categories
Date
September 1, 1996
Authors
Publisher
Association for Computing Machinery (ACM)