VIVO

- Select a language

Index
Log in

Search form

Home
People
Organizations
Research
Events
Capability Map

Value-Oriented Legal Argumentation in Isabelle/HOL Academic Article

Overview
Identity
View All

Overview

publication date

2021

Identity

Digital Object Identifier (DOI)

https://doi.org/10.4230/lipics.itp.2021.7

Powered by VIVO

About
Support