Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings /

Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings /

Show other versions (1)

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic. The 10 regular papers presented together wit...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Carvalho, Gustavo (Editor, http://id.loc.gov/vocabulary/relators/edt), Stolz, V (Volker) (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2020
Edition:1st ed. 2020
Series:Computer Science (SpringerNature-11645)
LNCS sublibrary Programming and software engineering 12475
Subjects:
Algorithms
Artificial intelligence
Computer science
Machine theory
Software engineering
Software Engineering
Artificial Intelligence
Computer Science Logic and Foundations of Programming
Design and Analysis of Algorithms
Formal Languages and Automata Theory
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items