Sciweavers

: An Action-Based Logic for Reasoning about Contracts
Recent countries visiting this post
: An Action-Based Logic for Reasoning about Contracts
us9United States
un3
se1Sweden