text‹
behaviours are annotated with the last state of the execution in order to compare the result of two executions with the @{const rel_behaviour} relation.
exact meaning of the three behaviours is defined in the semantics locale ›
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
