| 000 | 00716nam a22001457a 4500 | ||
|---|---|---|---|
| 999 |
_c58940 _d58940 |
||
| 020 | _a9783030634056 (pbk) | ||
| 082 |
_a005.13 _bFOR |
||
| 100 |
_aShang-Wei Lin (editor) _aZhe Hou (editor) _aBrendan Mahoney (editor) |
||
| 245 |
_aFormal methods for software engineering _b: 22nd international conference on formal engineering methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings |
||
| 260 |
_aSwitzerland _bSpringer Nature _c2021 |
||
| 300 |
_a xii, 334 p. _b: ill. _c; 24 cm. |
||
| 500 | _aIncludes bibliographical references and author index. | ||
| 650 |
_aSoftware Engineering _vSoftware engineering congresses _vFormal specification _vSoftware verification _vFormal methods _vFC _vGGC |
||
| 942 | _cBK | ||