Attempto - Englisch als (formale) Spezifikationssprache

Norbert E. Fuchs; Uta Schwertel; Rolf Schwitter

Attempto - Englisch als (formale) Spezifikationssprache

Translated title of the contribution: Attempto - English as (formal) specification language

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution

Translated title of the contribution	Attempto - English as (formal) specification language
Original language	German
Title of host publication	Proceedings of the Twelfth Workshop on Logic Programming (WLP '97)
Editors	François Bry, Burkhard Freitag, Dietmar Seipel
Place of Publication	Munich, Germany
Publisher	Ludwig-Maximilian University of Munich
Publication status	Published - 1997
Externally published	Yes
Event	Workshop Logic Programming (12th : 1997) - Munich, Germany Duration: 17 Sept 1997 → 19 Sept 1997 Conference number: 12th

Workshop

Workshop	Workshop Logic Programming (12th : 1997)
Abbreviated title	WLP '97
Country/Territory	Germany
City	Munich
Period	17/09/97 → 19/09/97

Cite this

@inproceedings{f4969e4106d14271a3bd9651f052603a,

title = "Attempto - Englisch als (formale) Spezifikationssprache",

author = "Fuchs, {Norbert E.} and Uta Schwertel and Rolf Schwitter",

year = "1997",

language = "German",

editor = "Fran{\c c}ois Bry and Burkhard Freitag and Dietmar Seipel",

booktitle = "Proceedings of the Twelfth Workshop on Logic Programming (WLP '97)",

publisher = "Ludwig-Maximilian University of Munich",

note = "Workshop Logic Programming (12th : 1997) ; Conference date: 17-09-1997 Through 19-09-1997",

}

Attempto - Englisch als (formale) Spezifikationssprache. / Fuchs, Norbert E.; Schwertel, Uta; Schwitter, Rolf.
Proceedings of the Twelfth Workshop on Logic Programming (WLP '97). ed. / François Bry; Burkhard Freitag; Dietmar Seipel. Munich, Germany: Ludwig-Maximilian University of Munich, 1997.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution

TY - GEN

T1 - Attempto - Englisch als (formale) Spezifikationssprache

AU - Fuchs, Norbert E.

AU - Schwertel, Uta

AU - Schwitter, Rolf

N1 - Conference code: 12th

PY - 1997

Y1 - 1997

M3 - Conference proceeding contribution

BT - Proceedings of the Twelfth Workshop on Logic Programming (WLP '97)

A2 - Bry, François

A2 - Freitag, Burkhard

A2 - Seipel, Dietmar

PB - Ludwig-Maximilian University of Munich

CY - Munich, Germany

T2 - Workshop Logic Programming (12th : 1997)

Y2 - 17 September 1997 through 19 September 1997

ER -