BibTeX Export

@proceedings{Authenticus:P-00S-N5X,
	title = {{Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II}},
	author = {E Sekerinski and N Moreira and JN Oliveira and D Ratiu and R Guidotti and M Farrell and M Luckcuck and D Marmsoler and J Campos and T Astarte and L Gonnord and A Cerone and L Couto and B Dongol and M Kutrib and P Monteiro and D Delmas},
	doi = {10.1007/978-3-030-54997-8},
	journal = {FM Workshops (2)},
	publisher = {Springer},
	type = {Proceedings},
	volume = {12233},
	year = {2020}
}