Verification Support for Generative System Development.

Andreas Speck, Elke Pulvermller

Browse the full SoMeT paper archive.