Software engineering and formal methods : SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10 2021, revised selected papers / Antonio Cerone [and seven others] (eds.).

Saved in:

Bibliographic Details
Corporate Author:	International Conference on Software Engineering and Formal Methods
Other Authors:	Cerone, Antonio (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer, [2022]
Series:	Lecture notes in computer science ; 13230.
Subjects:	Software engineering > Congresses. Formal methods (Computer science) > Congresses. Formal methods (Computer science) Software engineering Electronic books. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

Click for online access

Holdings details from Online
	Available

Similar Items