Attempto Controlled English - Not Just Another Logic Specif...

Attempto Controlled English - Not Just Another Logic Specification Language

Publication type:

inproceedings

Authors:

Norbert E. Fuchs

Title:

Attempto Controlled English - Not Just Another Logic Specification Language

Year:

1999

volume:

1559

series:

Lecture Notes in Computer Science

booktitle:

Eighth International Workshop on Logic-Based Program Synthesis and Transformation LOPSTR'98