Amanote Research
Register
Sign In
Abstract Specification of Legal Contracts
doi 10.1145/1568234.1568262
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2009
Authors
Cristian Prisacariu
Gerardo Schneider
Publisher
ACM Press
Related search
Contracts, Holdup, and Legal Intervention
SSRN Electronic Journal
Abstract Journal Medico-Legal
ANZ Journal of Surgery
Medicine
Surgery
Specification of Financial Incentives for Quality in Health Care Contracts
SSRN Electronic Journal
Abstract Journal Medico-Legal Program
ANZ Journal of Surgery
Medicine
Surgery
Abstract Journal Medico‐legal Program
ANZ Journal of Surgery
Medicine
Surgery
Publication Contracts and Their Legal Interpretation in Korea
Science Editing
Communication
Health Informatics
The Algorithmic Specification Method of Abstract Data Types: An Overview
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Formal Specification Directed Testing of Abstract Data Types
Using Higher-Order Contracts to Model Session Types (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science