Name: | FORMAL METHODS IN SYSTEM DESIGN |
ISSN: | 0925-9856 |
PISSN: | 0925-9856 |
Year: | 1992 (First Volume/Issue) |
Issue: | 6 (Yearly) |
Publisher: | SPRINGER, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ |
Area: | Computer Science, Theory & Methods |
Website: | http://www.springerlink.com/content/100266/ |
About: | VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ. Paper Language: English open access:NO, Scopus Indexing Duration: years:from 1992 to 2021 |
Rating: | ABCD Index for this Journal is "A" |
Status: |