SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates.

Regan Meloche, Daniel Amyot, John Mylopoulos

Browse the full RE paper archive.