Research at SWT Bamberg

The Software Technologies Group's research encompasses formal techniques in software specification, analysis and verification: