Formal Aspects of Legislative Meta-Drafting.

Carlo Biagioli Davide Grossi

Published in: JURIX (2008)

Keyphrases

computer aided
meta level
formal model
main aspects
databases
image sequences
formal specification
real time
image segmentation
database systems
mobile robot
government services
mathematical theory
dynamic aspects