research
∙
08/30/2023
Provengo: A Tool Suite for Scenario Driven Model-Based Testing
We present Provengo, a comprehensive suite of tools designed to facilita...
share
research
∙
10/29/2019
Computer Assisted Access to Justice via Formal Jurisprudence Modeling
This paper discusses an internet-based system for enabling people to sel...
research
∙
06/03/2018
