Objects, models, components, patterns 50th international conference, TOOLS 2012, Prague, Czech Republic, May 29 - 31, 2012 ; proceedings von Furia, Carlo A.

Volltext

Integrated formal methods 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings

Weitere Verfasser: “… Furia, Carlo A. …”
DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Integrated formal methods 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings

Weitere Verfasser: “… Furia, Carlo A. …”