Serials and Journals - Search

Formal Methods in System Design. An International Journal. Springer US, New York, NY. English. [2 vols. (= 3 issues each) a year]

Journal, ISSN 0925-9856; 1572-8102/e

http://link.springer.com/journal/volumesAndIssues/10703

Cover-to-cover reviewing in Zentralblatt MATH.

Library shelfmarks: TIB: ZO 8891