Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2019)

Bibliographische Detailangaben

Körperschaft:	Brazilian Symposium on Formal Methods (VerfasserIn)
Weitere Verfasser:	Duran, Adolfo (HerausgeberIn), Wadler, Philip (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2020-2021
Schriftenreihe:	Science of computer programming volume 195 (1 September 2020) Science of computer programming volume 197 (1 October 2020) Science of computer programming volume 198 (15 October 2020) Science of computer programming volume 199 (1 November 2020) Science of computer programming volume 201 (1 January 2021)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!