Picture for Gabriele Paganelli

Gabriele Paganelli

A CNL for Contract-Oriented Diagrams

Add code
Jun 22, 2014
Figure 1 for A CNL for Contract-Oriented Diagrams
Figure 2 for A CNL for Contract-Oriented Diagrams
Figure 3 for A CNL for Contract-Oriented Diagrams
Figure 4 for A CNL for Contract-Oriented Diagrams
Viaarxiv icon