Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings
Saved in:
Bibliographic Details
Corporate Author: International Conference on Integrated Formal Methods (Author)
Other Authors: Furia, Carlo A. (Editor), Winter, Kirsten (Editor)
Format: Electronic Conference Proceeding eBook
Language:English
Published: Cham Springer [2018]
Series:Lecture notes in computer science 11023 : Programming and software engineering
Subjects:
Online Access: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
Volltext
Physical Description:1 Online-Ressource (XVI, 420 Seiten) Illustrationen, Diagramme
ISBN:9783319989389
DOI:10.1007/978-3-319-98938-9