000 00473nam a2200157Ia 4500
008 230209s2018 xx 000 0 und d
022 _a978-1-5386-6418-6
022 _a978-1-5386-6419-3
041 _aeng
245 _a2018 Forum on Specification & Design Languages (FDL)
260 _bIEEE
_c2018
500 _aProceeding
650 _aComputing and Processing
650 _aEngineering Profession
856 _uhttps://ieeexplore.ieee.org/servlet/opac?punumber=8501260
999 _c34242
_d34242