Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cristian Prisacariu
Abstract Specification of Legal Contracts
Related publications
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