Automatic Translation from Textual Representations of Laws to Formal Models through UML.
Pietro Mercatali, Francesco Romano, Luciano Boschi, Emilio Spinicci
Browse the full JURIX paper archive.
Pietro Mercatali, Francesco Romano, Luciano Boschi, Emilio Spinicci
Browse the full JURIX paper archive.