Author:Bahareh Badban

Publications
Automated Invariant Generation for the Verification of Real-Time Systems Bahareh Badban, Stefan Leue and Jan-Georg Smaus In:WING 2010. Workshop on Invariant Generation 2010