Amanote Research

Amanote Research

    RegisterSign 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 PrisacariuGerardo Schneider
Publisher

ACM Press


Related search

Contracts, Holdup, and Legal Intervention

SSRN Electronic Journal
2005English

Abstract Journal Medico-Legal

ANZ Journal of Surgery
MedicineSurgery
2017English

Specification of Financial Incentives for Quality in Health Care Contracts

SSRN Electronic Journal
2012English

Abstract Journal Medico-Legal Program

ANZ Journal of Surgery
MedicineSurgery
2018English

Abstract Journal Medico‐legal Program

ANZ Journal of Surgery
MedicineSurgery
2019English

Publication Contracts and Their Legal Interpretation in Korea

Science Editing
CommunicationHealth Informatics
2018English

The Algorithmic Specification Method of Abstract Data Types: An Overview

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1986English

Model-Based Formal Specification Directed Testing of Abstract Data Types

English

Using Higher-Order Contracts to Model Session Types (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy