Formal Methods in System Design Posted on June 2, 2014 by SCG DR Journal Title: Formal Methods in System Design ISSN: (printed) 0925-9856 (online) 1572-8102 Abbreviation: Formal. Meth. Syst. Des. Copyright Holder: Springer Science+Business Media
