Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Formal_SSA: add reference to publication in abstract

Changeset 7751:e38a28e38885 by denis lohner _denis.lohner@kit.edu_: Formal_SSA: add reference to publication in abstract
The file was modified	`metadata/metadata` (diff)