000 | 00477nam a22001337a 4500 | ||
---|---|---|---|
005 | 20231104113432.0 | ||
008 | 231104b |||||||| |||| 00| 0 eng d | ||
245 |
_aFormal Methods in System Design : _bAn International Journal |
||
250 | _aSpringer Online Journal Archive | ||
260 | _bSpringer | ||
653 | _aComputer Science | ||
856 |
_yLibrary has online access to : Vol.1 (1992) to Vol.9 (1996) _uhttps://link.springer.com/journal/10703/volumes-and-issues |
||
942 | _cJA | ||
999 |
_c111635 _d111634 |