Lightweight Contracts for Safety-Critical Automotive Systems.

Bernhard Kaiser, Stefan Sonski, Suryo Buono, Hauke Petersen, Justyna Zander

Browse the full GI paper archive.