team |
[ publications | office | contact | address ] Dipl.-Inform. Sibylle MöhleSince April 2018 I am a PhD student at JKU with Prof. Armin Biere within the
National Research Network (NFN) on Rigorous Systems Engineering (RiSE). OfficeScience Park 3 (SCP3), 2nd
Floor Contactsibylle.moehle-rotondi@jku.at AddressInstitute for Formal Models and Verification |