Publikation:

IAGen Invariants-Assertion-Generation

Datum

2012
Bachelor thesis