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.).

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	International Conference on Software Engineering and Formal Methods
Outros Autores:	Cerone, Antonio (Editor)
Formato:	livro electrónico
Idioma:	English
Publicado em:	Cham : Springer, [2022]
Colecção:	Lecture notes in computer science ; 13230.
Assuntos:	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.
Acesso em linha:	Click for online access

Click for online access

Detalhes do Exemplar Online
	Disponível

Registos relacionados